Smart contract audits and blockchain security tools using formal methods and automated analysis.
500 ETH matching pool. One mission: stronger Ethereum security. Veridise is in the @Giveth Ethereum Security QF Round, backed by @thedaofund. 👉 Donations open until May 14. Every contribution funds the research and tools behind 150+ audits and billions in TVL secured.
500 ETH matching pool. One mission: stronger Ethereum security. Veridise is in the @Giveth Ethereum Security QF Round, backed by @thedaofund. 👉 Donations open until May 14. Every contribution funds the research and tools behind 150+ audits and billions in TVL secured.
If you’re tired of watching exploits dominate the timeline, this is your moment to act. The Ethereum Security QF Round is LIVE! Support the people and projects securing Ethereum and its L2s. 500…
Security research for ZK tends to stay narrow. You build a tool for Circom. It's useless to Halo2 teams. You pick Noir, Circom devs can't use it. There's no neutral ground to build from. So good research stays contained to one ecosystem. LLZK changes that calculation.
Galois built a backend on LLZK without coordinating closely with our team. They worked from the public IR, built what they needed, submitted for review That's the behavior a shared IR is designed to enable https://veridise.com/blog/featured/llzk-v1-0-a-new-phase-for-zk-shared-…
