Veridise / vanguard-aleoLinks
Static analysis toolkit for security analysis in Aleo programs
☆10Updated last year
Alternatives and similar repositories for vanguard-aleo
Users that are interested in vanguard-aleo are comparing it to the libraries listed below
Sorting:
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆38Updated 11 months ago
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- SMT 2023 Submission; license pending☆57Updated last year
- Automated verification of uniqueness property for ZKP circuits☆93Updated last year
- Validation code for the EOF specification☆57Updated 9 months ago
- Polynomials Identity Language☆68Updated last year
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Updated last year
- ☆48Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆114Updated 3 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆70Updated 2 years ago
- Playing with zero-knowledge proof languages☆107Updated 3 years ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 7 months ago
- Remote Attestation VErification☆35Updated last year
- A collection of resources relevant to the PSE Security Team.☆12Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- zkVM benchmarking for Ethereum☆41Updated last week
- Generates a stark from a pil☆98Updated last year
- A FRI verifier circuit for the Halo2 proof system☆77Updated 2 years ago
- Solidity verifier for Plonk☆42Updated last year
- ZK-based engine for self-sovereign SQL queries☆90Updated 3 years ago
- A minimal based rollup implementation that is easy to understand and extend☆46Updated 3 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year