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 Aufrufe • vor 10 Monaten

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 Aufrufe • vor 1 Jahr

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 Aufrufe • vor 10 Monaten

Keine weiteren Inhalte verfügbar