VeridiseinVeridiseBreakdown of 100 security audits: Key insights from 1605 vulnerability findingsOver $10 billion has been hacked from various blockchain and DeFi platforms since 2018. A significant part of this number stems from…4d ago4d ago
VeridiseinVeridiseMeet 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…Jul 10Jul 10
VeridiseinVeridiseDeveloping securely on Aleo blockchain: Common Vulnerability PatternsWe presented at Aleo zkHouse on 1st March 2024 in Denver.Jun 26Jun 26
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…Jun 12Jun 12
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…May 13May 13
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.Apr 18Apr 18
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…Mar 25Mar 25
VeridiseinVeridiseHow to develop securely on Soroban? Storage types with unbounded dataIntroducing SorobanMar 15Mar 15
VeridiseinVeridiseZK Fundamentals: Proof SystemsWe cover Interactive Proofs (IP), Probabilistically Checkable Proofs (PCPs), Linear PCPs, Multi-prover Interactive Protocols (MIPs), and…Feb 21Feb 21
VeridiseinVeridiseZK Fundamentals: Intermediate RepresentationsWe cover e.g. NP characterization, Boolean Satisfiability, R1CS, Plonkish arithmatization, and Customizable Constraint System (CCS)Feb 2Feb 2