Hardening blockchain security with formal methods

“Meet Our Team” is a blog series where we introduce you to the people behind Veridise. Today, we sit down with our Head of ZK Research…

At Veridise, we continuously explore new frontiers in zero-knowledge cryptography and frameworks. In addition to our security auditing and…

“Meet Our Team” is a blog series where we introduce you to the people behind Veridise. Today, we sit down with our Head of Cryptography Alp…

At Veridise, we combine cutting-edge academic research with the latest industry experience.

At Veridise, we combine cutting-edge academic research with the latest industry experience.

Zero-knowledge security is not easy. Our recent findings of our last 100 security audits show that our ZK audits have a 2x higher chance of…

Over $10 billion has been hacked from various blockchain and DeFi platforms since 2018. A significant part of this number stems from…

“Meet Our Team” is a blog series where we introduce you to the people behind Veridise. Today, we sit down with our Chief Security Officer…

We presented at Aleo zkHouse on 1st March 2024 in Denver.

This article highlights an issue with Soroban’s build-test-deploy process that was recently discovered by Veridise security analysts. It…

“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…

Proper preparation ensures a smoother audit process, leading to more accurate results and actionable insights.

Last year, from Oct 30th to Nov 3rd, 2023, we collaborated with Secureum to organize an online ZK Security Workshop. You can read the…

Introducing Soroban

We cover Interactive Proofs (IP), Probabilistically Checkable Proofs (PCPs), Linear PCPs, Multi-prover Interactive Protocols (MIPs), and…

We cover e.g. NP characterization, Boolean Satisfiability, R1CS, Plonkish arithmatization, and Customizable Constraint System (CCS)

Announcing: the Veridise visual rebrand

ZK circuits are the “magic tools” that enable ZK proofs

This is the fifth article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.

We have entered a channel partnership with Chainlink Labs

Today we explore interactive ZK proofs without interaction

Get to know the faces behind Veridise

This is the third article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.

The Veridise team flew to Istanbul to enjoy a week of blockchain events during Devconnect 2023. Here’s a recap.