0x3327 / SKProof
Scikit-learn compatible Python library for generating ZK proofs of execution
☆18Updated last month
Alternatives and similar repositories for SKProof:
Users that are interested in SKProof are comparing it to the libraries listed below
- ☆33Updated last year
- an introduction to noir, with simple examples☆43Updated last year
- Axiom smart contracts☆26Updated last year
- ☆28Updated last year
- ☆30Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 7 months ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated 2 years ago
- ☆21Updated last year
- ☆17Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- ☆39Updated 2 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Updated 2 years ago
- Generic Vector library for Solidity☆27Updated 3 years ago
- ☆23Updated 2 years ago
- A port of the weiroll vm in huff☆27Updated 2 years ago
- Partial Block Building with TEEs☆17Updated last year
- ☆30Updated 2 years ago
- ☆46Updated 3 years ago
- ☆28Updated 3 years ago
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- ☆31Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated last year
- Foundry test utils.☆29Updated 2 years ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Proof-of-concept Huff smart contracts for deploying arbitrary bytecode to deterministic addresses☆36Updated 2 years ago
- ☆18Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆33Updated 10 months ago