Veridise's banner
Veridise's profile picture

Veridise

@VeridiseInc • 4,812 subscribers

Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.

Videos

LIVE
1.2k

Anya Rossi

sweetdream.ai

SweetDream.aiSponsored•Livecam
Streaming Now

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

HD live stream
Exclusive private shows
1.2k viewers online

Free preview available • Premium content

Discover how Olivier Bégassat (Olivier Bégassat), Arithmetization Lead at Linea.eth, shares insights into Linea's tech stack and his experience with Veridise on the security audit of Linea's ZK-VM.
4:20
VeridiseInc's profile picture

Discover how Olivier Bégassat (Olivier Bégassat), Arithmetization Lead at Linea.eth, shares insights into Linea's tech stack and his experience with Veridise on the security audit of Linea's ZK-VM.

Veridise

32,904 次观看 • 1 年前

We’re excited to launch LLZK, an open-source intermediate representation (IR) for zero-knowledge circuits. Think LLVM, but for ZK. Built by Veridise and supported with a grant from the Ethereum Foundation, LLZK is now live on GitHub. Thread 🧵 1/4
2:22
VeridiseInc's profile picture

We’re excited to launch LLZK, an open-source intermediate representation (IR) for zero-knowledge circuits. Think LLVM, but for ZK. Built by Veridise and supported with a grant from the Ethereum Foundation, LLZK is now live on GitHub. Thread 🧵 1/4

Veridise

11,048 次观看 • 1 年前

没有更多内容可加载