-
openvm Public
Forked from openvm-org/openvmA performant and modular zkVM framework built for customization and extensibility.
-
-
sp1 Public
Forked from succinctlabs/sp1SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Rust Apache License 2.0 UpdatedJan 8, 2026 -
polymarket-subgraph Public
Forked from Polymarket/polymarket-subgraphPolymarket's public subgraph manifest for indexing on-chain trade, volume, user, liquidity and market data.
TypeScript GNU Lesser General Public License v3.0 UpdatedOct 25, 2025 -
-
-
-
DeFiHackLabs Public
Forked from SunWeb3Sec/DeFiHackLabsReproduce DeFi hacked incidents using Foundry.
-
-
halmos Public
Forked from a16z/halmosA symbolic testing tool for EVM smart contracts
Python GNU Affero General Public License v3.0 UpdatedSep 27, 2023 -
-
ZKAP-bmk-hermez-network Public
Forked from hermeznetwork/circuitsImplements hermez network zk-Snarks circuits
JavaScript GNU Affero General Public License v3.0 UpdatedJun 29, 2023 -
ZKAP-ed25519-circom Public
Forked from Electron-Labs/ed25519-circomED25519 implementation in Circom
JavaScript UpdatedJun 29, 2023 -
ZKAP-bmk-darkforest-v0.6 Public
Forked from darkforest-eth/darkforest-v0.6Dark Forest v0.6
TypeScript GNU General Public License v3.0 UpdatedJun 29, 2023 -
ZKAP-bmk-circom-ecdsa Public
Forked from 0xPARC/circom-ecdsaBig integer arithmetic and secp256k1 ECC operations in circom
TypeScript GNU General Public License v3.0 UpdatedFeb 2, 2023 -
-
ZKAP-bmk-aes-circom Public
Forked from Electron-Labs/aes-circomAES-GCM implementation in Circom
JavaScript UpdatedJan 31, 2023 -
-
ZKAP-bmk-circomlib-ml Public
Forked from socathie/circomlib-mlCircom Circuits Library for Machine Learning
Jupyter Notebook GNU General Public License v3.0 UpdatedJan 29, 2023 -
ZKAP-bmk-circomlib-matrix Public
Forked from socathie/circomlib-matrixCircuits library for matrix operations in circom
JavaScript GNU General Public License v3.0 UpdatedJan 29, 2023 -
ZKAP-bmk-telepathy Public
This project comes from Veridise's auditing. It is not allowed to be published until the client auths it.
TypeScript UpdatedJan 25, 2023 -
ZKAP-bmk-circomlib Public
Forked from iden3/circomlibLibrary of basic circuits for circom
JavaScript UpdatedDec 29, 2022 -
ZKAP-bmk-circom-pairing Public
Forked from yi-sun/circom-pairingTypeScript GNU General Public License v3.0 UpdatedDec 29, 2022 -
-
ZKAP-bmk-maci Public
Forked from privacy-ethereum/maciBenchmark collection for ZKSolid. Minimal anti collusion infrastructure
TypeScript Other UpdatedDec 7, 2022 -
-
-
manticore Public
Forked from trailofbits/manticoreSymbolic execution tool
Python GNU Affero General Public License v3.0 UpdatedSep 29, 2022 -
Re-IR2JSON Public
Extract information from llvm to python
C++ Apache License 2.0 UpdatedApr 18, 2022 -
{{ message }}