分享百科

Silo

Silo 财务 - 死亡回顾

本文详细介绍了Silo融资协议中的一个关键漏洞及其修复过程。通过Certora的正式验证工具进行深入分析，报告总结了漏洞的产生原因、修复方法及验证过程，并提出了未来加强规则和安全性的计划。
Silo  漏洞修复  正式验证  Certora Prover  借贷协议  安全性 
  • Certora
  • 发布于 2023-06-07
  • 阅读 ( 16 )
登链社区