VeridiseinVeridisePrep guide: 7 essential tips to prepare for a blockchain auditProper preparation ensures a smoother audit process, leading to more accurate results and actionable insights.5 min read·Apr 18, 2024----
VeridiseinVeridiseZK Security Workshop recap: Winners and presentationsLast year, from Oct 30th to Nov 3rd, 2023, we collaborated with Secureum to organize an online ZK Security Workshop. You can read the…5 min read·Mar 25, 2024----
VeridiseinVeridiseHow to develop securely on Soroban? Storage types with unbounded dataIntroducing Soroban5 min read·Mar 15, 2024----
VeridiseinVeridiseZK Fundamentals: Proof SystemsWe cover Interactive Proofs (IP), Probabilistically Checkable Proofs (PCPs), Linear PCPs, Multi-prover Interactive Protocols (MIPs), and…12 min read·Feb 21, 2024----
VeridiseinVeridiseZK Fundamentals: Intermediate RepresentationsWe cover e.g. NP characterization, Boolean Satisfiability, R1CS, Plonkish arithmatization, and Customizable Constraint System (CCS)13 min read·Feb 2, 2024----
VeridiseinVeridiseElevating Veridise: A Fresh Look and Feel for Blockchain SecurityAnnouncing: the Veridise visual rebrand3 min read·Jan 24, 2024----
VeridiseinVeridiseZero Knowledge for Dummies: Demystifying ZK CircuitsZK circuits are the “magic tools” that enable ZK proofs4 min read·Jan 19, 2024----
VeridiseinVeridiseZK Fundamentals: SuccinctnessThis is the fifth article from our series exploring ZK fundamentals, zero knowledge proofs and related notions.10 min read·Jan 12, 2024--1--1
VeridiseinVeridiseVeridise Teams Up with Chainlink LabsWe have entered a channel partnership with Chainlink Labs2 min read·Jan 9, 2024----
VeridiseinVeridiseZK Fundamentals: The Fiat-Shamir TransformToday we explore interactive ZK proofs without interaction9 min read·Dec 22, 2023----
