Veridise

Hardening Blockchain Security with Formal Methods

Verified
We've verified that the organizationVeridise controls the domain:
- veridise.com
Learn more about verified organizations

Popular repositoriesLoading

PicusPicusPublic
Forked fromchyanju/Picus
Automated verification of uniqueness property for ZKP circuits
Circom 75 5
MedjaiMedjaiPublic
Forked fromchyanju/__archived__Medjai
A Symbolic Execution Tool for Cairo
Racket 51
EurusEurusPublic
Precise Attack Synthesis for DeFi Apps
Racket 47 3
CodaCodaPublic
Coq 47 5
circom2llvmcircom2llvmPublic
Compile circom code to llvm partially
Rust 11 2
zk-language-comparisonzk-language-comparisonPublic
Examples of Mastermind implemented in different ZK languages and frameworks.
Rust 9 3

Repositories

Showing 10 of 34 repositories

zk-language-comparison Public
Examples of Mastermind implemented in different ZK languages and frameworks.
Veridise/zk-language-comparison’s past year of commit activity
Rust 9 3 2 1 UpdatedMar 14, 2025
AuditHub-Client Public
An API and CLI client for Veridise AuditHub.
Veridise/AuditHub-Client’s past year of commit activity
Python0GPL-3.00 0 0 UpdatedMar 13, 2025
zirgen Public Forked fromrisc0/zirgen
Zirgen compiler and RISC Zero circuits
Veridise/zirgen’s past year of commit activity
C++0Apache-2.0 17 0 0 UpdatedJan 27, 2025
circom Public Forked fromiden3/circom
zkSnark circuit compiler
Veridise/circom’s past year of commit activity
Rust 1GPL-3.0 306 0 1 UpdatedSep 6, 2024
gnark Public Forked fromConsensys/gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
Veridise/gnark’s past year of commit activity
Go 1Apache-2.0 437 0 0 UpdatedJul 25, 2024
soroban_stale_dep Public
Soroban stale dependency issue
Veridise/soroban_stale_dep’s past year of commit activity
Rust00 0 0 UpdatedMay 16, 2024
vanguard-aleo Public
Static analysis toolkit for security analysis in Aleo programs
Veridise/vanguard-aleo’s past year of commit activity
Python 8GPL-3.0 6 0 0 UpdatedMar 29, 2024
Picus Public Forked fromchyanju/Picus
Automated verification of uniqueness property for ZKP circuits
Veridise/Picus’s past year of commit activity
Circom 75MIT 10 0 1 UpdatedMar 13, 2024
picus_gnark Public
Utilities to extract Picus constraints from gnark
Veridise/picus_gnark’s past year of commit activity
Go 30 0 0 UpdatedMar 13, 2024
aleo2json Public Forked fromProvableHQ/snarkVM
A Virtual Machine for Zero-Knowledge Executions
Veridise/aleo2json’s past year of commit activity
Rust0Apache-2.0 1,618 0 0 UpdatedJan 31, 2024