0x3327 / SKProof
Scikit-learn compatible Python library for generating ZK proofs of execution
☆18Updated last year
Alternatives and similar repositories for SKProof:
Users that are interested in SKProof are comparing it to the libraries listed below
- Real-time bidding API scaffold for MevWallet transactions☆18Updated last year
- ☆28Updated last year
- an introduction to noir, with simple examples☆42Updated last year
- Andromeda revm execution service☆30Updated 5 months ago
- Axiom smart contracts☆26Updated last year
- ☆21Updated last year
- ☆33Updated last year
- Generic Vector library for Solidity☆27Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 6 months ago
- ☆31Updated 10 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 8 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- Partial Block Building with TEEs☆17Updated 9 months ago
- Plonk verifier in solidity (using Commit api)☆21Updated 6 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆21Updated 2 years ago
- 🍭 A Solidity library for prime field arithmetic☆16Updated 11 months ago
- An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.☆15Updated 3 months ago
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- ☆39Updated 2 years ago
- Sidecar to Enable Rollup Extensions☆62Updated 2 weeks ago
- Groth16 verifier in EVM☆20Updated last year
- Proof-of-concept Huff smart contracts for deploying arbitrary bytecode to deterministic addresses☆36Updated 2 years ago
- ☆23Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- repository for core circom and smart contract☆12Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated 2 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Updated last year
- prove eth_call result☆15Updated 9 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 2 months ago