Open in app
Sign inGet started
A16Z hosts Isil Dillig: Formal Methods for Zero-Knowledge Systems

A16Z hosts Isil Dillig: Formal Methods for Zero-Knowledge Systems

Isil Dillig, President and Co-founder of Veridise, took the stage at an a16z crypto event to deliver a comprehensive presentation on Formal…
Go to the profile of Veridise
Veridise
Devcon 2024 week recap: Veridise’s presentations in Bangkok

Devcon 2024 week recap: Veridise’s presentations in Bangkok

Devcon is the highlight of the year for us at Veridise, and 2024 was no exception.
Go to the profile of Veridise
Veridise
Veridise’s Zero-Knowledge Research: Split Gröbner Bases for Satisfiability Modulo Finite Fields

Veridise’s Zero-Knowledge Research: Split Gröbner Bases for Satisfiability Modulo Finite Fields

Introduction
Go to the profile of Veridise
Veridise
Announcing Veridise AuditHub: Comprehensive Audit Platform

Announcing Veridise AuditHub: Comprehensive Audit Platform

Streamline your security auditing experience
Go to the profile of Veridise
Veridise
Meet Our Team: 10 questions for Shankara Pailoor

Meet Our Team: 10 questions for Shankara Pailoor

“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…
Go to the profile of Veridise
Veridise
Exploring ZK frameworks: Mastermind game in 5 different ZK languages

Exploring ZK frameworks: Mastermind game in 5 different ZK languages

At Veridise, we continuously explore new frontiers in zero-knowledge cryptography and frameworks. In addition to our security auditing and…
Go to the profile of Veridise
Veridise
Meet Our Team: 10 questions for Alp Bassa

Meet Our Team: 10 questions for Alp Bassa

“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…
Go to the profile of Veridise
Veridise
Academic research: Findings from our zero-knowledge research

Academic research: Findings from our zero-knowledge research

At Veridise, we combine cutting-edge academic research with the latest industry experience.
Go to the profile of Veridise
Veridise
Academic research: Findings from our smart contract security research

Academic research: Findings from our smart contract security research

At Veridise, we combine cutting-edge academic research with the latest industry experience.
Go to the profile of Veridise
Veridise
Lessons from the Auditing Trenches: “What do ZK Developers get Wrong?”

Lessons from the Auditing Trenches: “What do ZK Developers get Wrong?”

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…
Go to the profile of Veridise
Veridise
Breakdown of 100 security audits: Key insights from 1605 vulnerability findings

Breakdown of 100 security audits: Key insights from 1605 vulnerability findings

Over $10 billion has been hacked from various blockchain and DeFi platforms since 2018. A significant part of this number stems from…
Go to the profile of Veridise
Veridise
Meet Our Team: 10 questions for Ben Sepanski

Meet Our Team: 10 questions for Ben Sepanski

“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…
Go to the profile of Veridise
Veridise
Developing securely on Aleo blockchain: Common Vulnerability Patterns

Developing securely on Aleo blockchain: Common Vulnerability Patterns

We presented at Aleo zkHouse on 1st March 2024 in Denver.
Go to the profile of Veridise
Veridise
Veridise enhances Soroban security: Breaking our Teeth on Stale Dependencies

Veridise enhances Soroban security: Breaking our Teeth on Stale Dependencies

This article highlights an issue with Soroban’s build-test-deploy process that was recently discovered by Veridise security analysts. It…
Go to the profile of Veridise
Veridise
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…
Go to the profile of Veridise
Veridise
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.
Go to the profile of Veridise
Veridise
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…
Go to the profile of Veridise
Veridise
How to develop securely on Soroban? Storage types with unbounded data

How to develop securely on Soroban? Storage types with unbounded data

Introducing Soroban
Go to the profile of Veridise
Veridise
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…
Go to the profile of Veridise
Veridise
ZK Fundamentals: Intermediate Representations

ZK Fundamentals: Intermediate Representations

We cover e.g. NP characterization, Boolean Satisfiability, R1CS, Plonkish arithmatization, and Customizable Constraint System (CCS)
Go to the profile of Veridise
Veridise
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
Go to the profile of Veridise
Veridise
Zero Knowledge for Dummies: Demystifying ZK Circuits

Zero Knowledge for Dummies: Demystifying ZK Circuits

ZK circuits are the “magic tools” that enable ZK proofs
Go to the profile of Veridise
Veridise
ZK Fundamentals: Succinctness

ZK Fundamentals: Succinctness

This is the fifth article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.
Go to the profile of Veridise
Veridise
Veridise Teams Up with Chainlink Labs

Veridise Teams Up with Chainlink Labs

We have entered a channel partnership with Chainlink Labs
Go to the profile of Veridise
Veridise
ZK Fundamentals: The Fiat-Shamir Transform

ZK Fundamentals: The Fiat-Shamir Transform

Today we explore interactive ZK proofs without interaction
Go to the profile of Veridise
Veridise
About VeridiseLatest StoriesArchiveAbout MediumTermsPrivacyTeams