Certora/CertoraProver

用途介绍

Certora/CertoraProver 是公开 GitHub 仓库，主要语言为 Kotlin。最近记录为 337 个星标及 48 个分支。 主题：blockchain, certora, certora prover, ethereum, formal verification, security tools。 使用前请阅读文档、许可及当前问题记录。

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

GitHub 仓库

星标

337

新增星标 · 7 天

—

分支副本

48

主要编程语言

Kotlin

仓库许可证

GPL-3.0

最近代码推送

2026年9月7日

热度基于 GitHub 星标。7 天增长需积累完整一周的本地快照。这是本站收录集合，不是 GitHub 官方趋势榜。

来源与更新

导入条目附有来源链接。收录用于发现服务，不代表推荐。