Certora/SecurityReports

Что делает

Certora/SecurityReports — публичный репозиторий GitHub. Последняя запись сообщает 34 звёзд и 3 форков. Темы: blockchain, certora, certora prover, ethereum, formal verification, security audits. Перед использованием прочитай документацию, лицензию и текущие issues.

Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.

Репозитории GitHub

Звёзды

34

Прирост звёзд · 7 дней

+1

Форки

3

Основной язык

Не проверено

Лицензия репозитория

Не проверено

Последняя отправка кода

24 авг. 2026 г.

Популярность основана на звёздах. Рост за неделю появится после недели локальных снимков. Это наша подборка, а не официальный рейтинг GitHub.

Источники и актуальность

Импортированные записи ссылаются на источники. Это помощь в поиске, а не рекомендация.