dcbuild3r / ptau-deserializer
.ptau deserializer for gnark groth16 bn254 trusted setup
☆25Updated 3 weeks ago
Alternatives and similar repositories for ptau-deserializer:
Users that are interested in ptau-deserializer are comparing it to the libraries listed below
- ETHPrague☆31Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- an introduction to noir, with simple examples☆45Updated last year
- Honk Verifier in Solidity☆50Updated 6 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- A Noir's backend implementation using Gnark☆35Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- Ethereum stateless tools☆46Updated 2 weeks ago
- Noir implementation of RSA-verify☆42Updated last year
- My personal notebook for various zk-related topics☆48Updated 3 months ago
- storage proof made by sp1☆24Updated 6 months ago
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆47Updated 2 years ago
- 🔥 flamegraphs for solidity☆35Updated 7 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- client side proving☆28Updated last month
- A robust, extensible OP Stack challenge agent written in pure Rust.☆57Updated last year
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆30Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 11 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago