Veridise (@VeridiseInc)
@VeridiseInc
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
521 正在关注 4.8K 粉丝
Ahead of the @zksync Airbender V2 prover upgrade, @the_matter_labs brought us in to build the tools that formally verify their circuits.
Not "we ran the tests and they passed."
Mathematical proof that a whole class of soundness bug isn't there.
显示更多
