0x3327 / SKProof
Scikit-learn compatible Python library for generating ZK proofs of execution
☆18Updated 2 months ago
Alternatives and similar repositories for SKProof:
Users that are interested in SKProof are comparing it to the libraries listed below
- Axiom smart contracts☆26Updated last year
- ☆30Updated 2 years ago
- ☆33Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- ☆17Updated 2 years ago
- an introduction to noir, with simple examples☆45Updated last year
- ☆40Updated 2 years ago
- ☆28Updated last year
- Groth16 verifier in EVM☆21Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated 2 years ago
- Partial Block Building with TEEs☆17Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 10 months ago
- ☆28Updated 3 years ago
- ☆19Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 6 months ago
- ☆23Updated 2 years ago
- Foundry test utils.☆29Updated 2 years ago
- ☆16Updated 2 years ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Andromeda revm execution service☆31Updated 9 months ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 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 8 months ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Updated 2 years ago
- 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
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- ☆12Updated last year