Login Register
G
Veridise banner
Veridise

Veridise

@UCU8jWJ5YY1yCWN4PR2_52zg - 221 subscribers

Veridise offers industry-leading security audits and tools for smart contracts, blockchain technology, and zero-knowledge proofs, built upon our extensive foundation of academic research in formal methods. We offer blockchain auditing services for all the main categories, such as smart contracts, L1/L2 blockchain implementations, wallets, NFTs, MetaMask Snaps, and more. We are especially experienced in all zero-knowledge-related audits. We've audited client such as RISC Zero, Succinct, Linea, MINA, and applications built on top of them.