Veridise's banner

Veridise

@VeridiseInc • 4,840 subscribers

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

Videos

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

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

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

Free preview available • Premium content

How is Stellar funding smart contract security at scale? Ecosystems need better security models — and Stellar is already leading the way. Join Tomer Weller as he unpacks Stellar’s proactive approach: the Soroban Security Audit Bank. Hosted by Kostas Ferles from Veridise. Timestamps: 0:00 Introduction 1:00 Inspiration behind the Soroban Security Audit Bank? 3:05 How projects can access audits from the Audit Bank? 4:41 Expected bugs and vulnerabilities? 9:19 Can this be a blueprint for other ecosystems? 11:00 Ecosystem insights (Kostas) 13:45 Evaluation criteria for the Audit Bank program? 15:45 Security advice for Soroban builders? 16:35 What are common bugs to avoid in Soroban? 19:07 What’s next for Soroban? 22:24 ZK and privacy: where to focus? (Kostas) 23:42 Closing remarks

How is Stellar funding smart contract security at scale? Ecosystems need better security models — and Stellar is already leading the way. Join Tomer Weller as he unpacks Stellar’s proactive approach: the Soroban Security Audit Bank. Hosted by Kostas Ferles from Veridise. Timestamps: 0:00 Introduction 1:00 Inspiration behind the Soroban Security Audit Bank? 3:05 How projects can access audits from the Audit Bank? 4:41 Expected bugs and vulnerabilities? 9:19 Can this be a blueprint for other ecosystems? 11:00 Ecosystem insights (Kostas) 13:45 Evaluation criteria for the Audit Bank program? 15:45 Security advice for Soroban builders? 16:35 What are common bugs to avoid in Soroban? 19:07 What’s next for Soroban? 22:24 ZK and privacy: where to focus? (Kostas) 23:42 Closing remarks

31,258 次观看 • 10 个月前

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.

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.

32,875 次观看 • 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

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

10,967 次观看 • 10 个月前

没有更多内容可加载