Certora
@Certora
Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
加入 February 2019
341 正在關注 12.1K 粉絲
Congrats to @Polymarket on the launch of V2, a significant rebuild of the system behind one of the largest prediction markets.
Proud to have formally verified the new protocol alongside a strong group of security teams that audited the codebase 🫡
顯示更多
Introducing Polymarket Protocol V2, a new smart-contract foundation built for prediction markets.
To give developers and market makers time to integrate, we’re running canary markets October 5–30, with new markets tentatively switching on November 2.
With this release, we’re also introducing Data API v2, a new Rust service powered by our in-house on-chain indexer
Start with the migration docs here:
Read more about both in the blog below:
顯示更多
