๊ฐ€์ž… ํ›„ ์ดˆ๋Œ€ ๋งํฌ๋ฅผ ๊ณต์œ ํ•˜๋ฉด ๋™์˜์ƒ ์žฌ์ƒ ๋ฐ ์ดˆ๋Œ€ ๋ณด์ƒ์„ ๋ฐ›์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

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:
๋” ๋ณด๊ธฐ