Zauktion / zauktion-core
repository for core circom and smart contract
☆12Updated last year
Alternatives and similar repositories for zauktion-core:
Users that are interested in zauktion-core are comparing it to the libraries listed below
- ☆13Updated 2 months ago
- ☆17Updated last year
- ☆39Updated 2 years ago
- Groth16 verifier in EVM☆20Updated last year
- ☆28Updated 3 years ago
- Noir library to verify JWT tokens, and prove claims.☆17Updated this week
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Updated last year
- ☆34Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 4 months ago
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 5 months ago
- ☆18Updated last year
- Verifying Cairo Programs in SP1☆13Updated 4 months ago
- RLN circuits in Circom☆29Updated 7 months ago
- ☆17Updated 2 years ago
- Base64 encoding for Aztec's noir language☆15Updated last year
- Better assertion macros for pure Huff tests.☆19Updated last year
- ☆17Updated last year
- trusted setup MPC tools☆12Updated 4 years ago
- Using folding schemes for a provable bitcoin light client☆32Updated 9 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆34Updated last month
- ☆33Updated last year
- ☆22Updated 2 years ago
- Real-time bidding API scaffold for MevWallet transactions☆18Updated last year