questbook / browser-snarkLinks
generate snark proofs in browser - batteries included
☆12Updated 3 years ago
Alternatives and similar repositories for browser-snark
Users that are interested in browser-snark are comparing it to the libraries listed below
Sorting:
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Updated 3 years ago
- ☆22Updated 3 years ago
- ☆31Updated 3 years ago
- Single owner authorization with zk-based two-factor-authorization.☆18Updated 3 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Updated 3 years ago
- A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.☆30Updated 3 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Updated 3 years ago
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 4 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Updated 3 years ago
- ☆28Updated 3 years ago
- Axiom smart contracts☆26Updated 2 years ago
- ☆31Updated 3 years ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago
- ☆34Updated 2 years ago
- A collection of practical circom circuits☆14Updated 3 years ago
- storage proof made by sp1☆25Updated last year
- ☆28Updated 3 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- Breathe air☆25Updated last year
- An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.☆59Updated 2 years ago
- ☆27Updated 2 years ago
- Huff Implementation of VRGDAs☆41Updated 3 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 3 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- A library to assist with handling sparse arrays in storage.☆28Updated 3 years ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Updated 3 years ago
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Updated 2 years ago