Homepage
Open in app
Sign in
Get started
Hardening blockchain security with formal methods
We write about blockchain security, zero-knowledge proofs, and our bug discoveries
Follow
Meet Our Team: 10 questions for Jon Stephens
Meet Our Team: 10 questions for Jon Stephens
“Meet Our Team” is a blog series where we introduce you to the people behind Veridise. Today, we sit down with our CEO & Co-founder, Jon…
Veridise
May 13
Prep guide: 7 essential tips to prepare for a blockchain audit
Prep guide: 7 essential tips to prepare for a blockchain audit
Proper preparation ensures a smoother audit process, leading to more accurate results and actionable insights.
Veridise
Apr 17
ZK Security Workshop recap: Winners and presentations
ZK Security Workshop recap: Winners and presentations
Last year, from Oct 30th to Nov 3rd, 2023, we collaborated with Secureum to organize an online ZK Security Workshop. You can read the…
Veridise
Mar 25
How to develop securely on Soroban? Storage types with unbounded data
How to develop securely on Soroban? Storage types with unbounded data
Introducing Soroban
Veridise
Mar 15
ZK Fundamentals: Proof Systems
ZK Fundamentals: Proof Systems
We cover Interactive Proofs (IP), Probabilistically Checkable Proofs (PCPs), Linear PCPs, Multi-prover Interactive Protocols (MIPs), and…
Veridise
Feb 21
ZK Fundamentals: Intermediate Representations
ZK Fundamentals: Intermediate Representations
We cover e.g. NP characterization, Boolean Satisfiability, R1CS, Plonkish arithmatization, and Customizable Constraint System (CCS)
Veridise
Feb 2
Elevating Veridise: A Fresh Look and Feel for Blockchain Security
Elevating Veridise: A Fresh Look and Feel for Blockchain Security
Announcing: the Veridise visual rebrand
Veridise
Jan 24
Zero Knowledge for Dummies: Demystifying ZK Circuits
Zero Knowledge for Dummies: Demystifying ZK Circuits
ZK circuits are the “magic tools” that enable ZK proofs
Veridise
Jan 19
ZK Fundamentals: Succinctness
ZK Fundamentals: Succinctness
This is the fifth article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.
Veridise
Jan 12
Veridise Teams Up with Chainlink Labs
Veridise Teams Up with Chainlink Labs
We have entered a channel partnership with Chainlink Labs
Veridise
Jan 9
ZK Fundamentals: The Fiat-Shamir Transform
ZK Fundamentals: The Fiat-Shamir Transform
Today we explore interactive ZK proofs without interaction
Veridise
Dec 22, 2023
Meet Our Team: 10 Questions for Kostas Ferles
Meet Our Team: 10 Questions for Kostas Ferles
Get to know the faces behind Veridise
Veridise
Dec 6, 2023
ZK Fundamentals: Zero-Knowledge Proofs
ZK Fundamentals: Zero-Knowledge Proofs
This is the third article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.
Veridise
Dec 1, 2023
Devconnect 2023: A Festival of Innovation
Devconnect 2023: A Festival of Innovation
The Veridise team flew to Istanbul to enjoy a week of blockchain events during Devconnect 2023. Here’s a recap.
Veridise
Nov 23, 2023
ZK Fundamentals: Interactive Proofs
ZK Fundamentals: Interactive Proofs
This is the second article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.
Veridise
Nov 9, 2023
What Are Bug Bounties and Why Are They Important for Web3
What Are Bug Bounties and Why Are They Important for Web3
Blockchain security is not a “set & forget” type of activity. This is why it can really benefit from bug bounty programs.
Veridise
Nov 3, 2023
ZK Fundamentals: What is a proof?
ZK Fundamentals: What is a proof?
This is the first article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.
Veridise
Oct 27, 2023
Veridise and Secureum to Team Up for a ZK Security Workshop
Veridise and Secureum to Team Up for a ZK Security Workshop
Earlier this year, we collaborated with Secureum to host a blockchain security workshop. Now we’re doing it again.
Veridise
Oct 19, 2023
Intro to Nova & ZK Folding Schemes: The Nuts and Bolts of Folding
Intro to Nova & ZK Folding Schemes: The Nuts and Bolts of Folding
This is a blog series in which we explore ZK folding schemes and NOVA.
Veridise
Oct 12, 2023
Meet Our Team: 10 Questions for Andreea Buterchi
Meet Our Team: 10 Questions for Andreea Buterchi
“Meet Our Team” is a blog series where we introduce you to the people behind Veridise. Today we talk to our VP of Engineering Andreea.
Veridise
Oct 5, 2023
Ensuring Trust and Security: The Importance of Smart Contract Audits in Web3
Ensuring Trust and Security: The Importance of Smart Contract Audits in Web3
With more and more assets lost due to hacks, blockchain companies need to ask themselves if they can afford to skip the security audit.
Veridise
Sep 28, 2023
Meet Our Team: 10 Questions for Işil Dillig
Meet Our Team: 10 Questions for Işil Dillig
Get to know the people who make Veridise special
Veridise
Sep 21, 2023
Intro to Nova & ZK Folding Schemes: Folding and Nova
Intro to Nova & ZK Folding Schemes: Folding and Nova
This is part 3 of a blog series in which we explore ZK folding schemes and NOVA.
Veridise
Sep 14, 2023
Introduction to MetaMask Snaps
Introduction to MetaMask Snaps
The Road to ERC-4337 and Account Abstraction
Veridise
Sep 7, 2023
Meet Our Team: 10 Questions for Alex Ozdemir
Meet Our Team: 10 Questions for Alex Ozdemir
Get to know the people who make Veridise special
Veridise
Aug 31, 2023
About Veridise
Latest Stories
Archive
About Medium
Terms
Privacy
Teams