Veridise
How zero-knowledge apps can leak data (and how to detect it) | Kostas Ferles
5:33
Veridise
Securing Ethereum: The ZK-EVM Formal Verification Project | Alexander Hicks from Ethereum Foundation
45:55
Veridise
Zequal & Multimod: Advancing the science of zero-knowledge verification | Jon Stephens and Alp Bassa
10:07
Veridise
What is OrCa? Oracle-guided fuzzing tool | Ben Mariano
3:03
Veridise
What is Vanguard static analysis tool? | Kostas Ferles
2:44
![What is [V] specification language? | Ben Mariano](/vi/TpRGJmTRJo8/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLBwFJWpgyTbpgmpccV_IY5gIKF4_g)
Veridise
What is [V] specification language? | Ben Mariano
2:24
Veridise
Continuous Web3 Security with AuditHub | CEO Jon Stephens at Hack Seasons | TOKEN2049
14:40
Veridise
AuditHub: Next-gen security platform for Web3 dev teams
40:39
Veridise
LLZK: Open-source infrastructure for secure ZK
31:14
Veridise
Veridise Live Stream
Veridise
LLZK: Intermediate representation for zero-knowledge languages
2:23
Veridise
The Soroban Security Audit Bank: Building securely on Stellar | A chat with Tomer Weller
24:04
Veridise
Rob Zhuang | Sprinter protocol | Experience with Veridise
5:28
Veridise
Inside EthCC 2025: Veridise in Cannes
0:51
Veridise
Veridise's ZK tools and future directions (7/7)
2:13
Veridise
How did we solve SMT solver timeouts in our ZK tools? (6/7)
1:12
Veridise
How to keep ZK circuits rock-solid and deterministic? (5/7)
2:30
Veridise
Are over-constrained circuits a challenge in ZK circuits? (4/7)
2:02
Veridise
What is the most common source of ZK circuit vulnerabilities? (3/7)
1:38
Veridise
What happens if your ZK circuit has a bug? (2/7)
1:39
Veridise
Introduction to ZK proofs & related tech stack (1/7)
2:51
Veridise
AuditHub explained: Streamlined blockchain security audits
2:52
Veridise
Linea's experience working with Veridise
0:54
Veridise
Arcance Finance's experience working with Veridise
0:44
Veridise
Demox Labs shares their experience working with Veridise
0:38
Veridise
o1Labs's experience working with Veridise
0:59
Veridise
RISC Zero sharing experience about Picus integration
0:58
Veridise
RISC Zero's experience working with Veridise
0:21
Veridise
How does the security audit process work?
1:24
Veridise
Designing secure zkVM applications: A fireside chat with Rami Khalil (RISC Zero)
51:09
Veridise
What is ZK Vanguard | Zero-knowledge proof security tool | ZK circuit security
1:07
Veridise
What is Picus? | Zero-knowledge circuit security tool
1:55
Veridise
Blockchain security audits for L1s and L2s: What you need to know | Timing, tools & common bugs
3:58
Veridise
What sets Veridise apart in smart contract audits? Plus common bugs we spot
3:57
Veridise
Inside Noir: Aztec’s ZK language, security and tools explained | Michael Klein and Jon Stephens
37:27
Veridise
How did RISC Zero achieve continuous & provable ZK security? | Jacob Weightman & Shankara Pailoor
32:25
Veridise
Veridise client testimonials | Linea, RISC Zero, o1Labs, Demox Labs | Veridise review
2:30
Veridise
Jeremy Bruestle | RISC Zero | Experience working with Veridise | ZK-VM security
7:41
Veridise
Formal Methods for Zero Knowledge Circuits | Isil Dillig | a16z crypto research talks
54:38
Veridise
What are some typical zero-knowledge (ZK) vulnerabilities you find?
1:50
Veridise
What are some typical DeFi and smart contract vulnerabilities you find?
1:27
Veridise
Smart contract security audit: When and how to prepare? How does the security audit process work?
3:36
Veridise
Veridise bug detection tools | For smart contracts and ZK | Vanguard, OrCa, Picus
3:32
Veridise
Max Sultakov | Arcane Finance | Experience with Veridise
1:06
Veridise
Barron Caster | Demox Labs | Experience with Veridise
0:57
Veridise
Florian Kluge | o1Labs | Experience working with Veridise
6:20
Veridise
Olivier Bégassat | Linea | Experience with Veridise
4:21
Veridise
Zero-Knowledge Security Auditing | Alp Bassa
5:20
Veridise
AuditHub introduction | Jon Stephens
1:50
Veridise
Devcon 2024 week with Veridise in 90 seconds!
1:22
Veridise
Groups for FFT-like algorithms in proof systems | Alp Bassa | ZK HUB
25:01
Veridise
Key insights from 100 security audits | Jon Stephens | Hack Seasons Bangkok
14:20
Veridise
LLZK — Unifying ZK: A Comprehensive DSL Framework for Tomorrow | Jon Stephens | ZK Accelerate
19:22
Veridise
Tools For Security in the Zero-Knowledge Domain | Alp Bassa | Hack Seasons Brussels
28:58
Veridise
ZK Circuits in dApps: Common Bugs to Avoid (Jon Stephens) | Leo, o1js, Circom, Solidity languages
22:14
Veridise
Common Vulnerability Patterns in Aleo | Jon Stephens and Kostas Ferles (Veridise)
29:24
Veridise
Unlocking Innovation With Client-Side Zero-Knowledge Proofs | Consensus 2024
29:56
Veridise
Blockdev (Ethereum Foundation, PSE team): Tips for safe Circom circuits
27:15
Veridise
Yi Sun (Axiom): Circuit Techniques for Scaling Data Access on Ethereum
38:51
Veridise
Haichen Shen (Scroll): Lessons Learned from Securing Scroll zkEVM
49:59
Veridise
Intro to NOVA and ZK Folding Schemes: Recursive SNARKs
2:24
Veridise
Veridise Explains: What Are MetaMask Snaps
4:26
Veridise
Demo: Discovering the Nomad Attack with SaaS
3:56
Veridise
Demo: Automated Attack Synthesis for DeFi Apps
4:15
Veridise
Demo: Real-Time Smart Contract Auditing Service
4:18