VeridiseinVeridiseVeridise enhances Soroban security: Breaking our Teeth on Stale DependenciesThis article highlights an issue with Soroban’s build-test-deploy process that was recently discovered by Veridise security analysts. It…6 min read·1 hour ago----
VeridiseinVeridiseMeet 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…5 min read·May 13, 2024----
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
