Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.
On September 24, forged zero-knowledge proofs took ~$1.92M in USDC from Payy's bridge. The fix for the Barretenberg verifier bug Payy blames had been in a public release for 73 days. Find out why Payy was still exposed ⬇️ https://www.certora.com/blog/payy-exploit-forged-zk-pro…
Bringing Bitcoin into onchain financial markets requires strong security foundations, especially at this scale. Proud to have formally verified Hashi’s smart contracts ahead of its mainnet launch. 🫡
Just in from the main stage at Sui Basecamp: 👉 Hashi mainnet starts rolling out this month, with $500M+ in capital already committed. 👉 @Anchorage joins as a launch partner, bringing qualified…
Building on @StellarOrg comes with a different set of security assumptions. Authorization, storage, cross-contract calls, native assets, cross-chain messaging. Soroban handles each differently from the EVM, and those differences matter when designing secure…
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,…
