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:
- ☆31Updated 3 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Updated 3 years ago
- Better assertion macros for pure Huff tests.☆19Updated 2 years ago
- ☆22Updated 3 years ago
- ☆28Updated 3 years ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- Minimal EVM implementation in Rust☆29Updated 7 years ago
- Historical L1Block snapshotter for OP Stack chains☆16Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 3 years ago
- ☆31Updated 2 years ago
- ☆14Updated 3 years ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Updated 3 years ago
- ☆18Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- ☆28Updated 3 years ago
- Single owner authorization with zk-based two-factor-authorization.☆18Updated 3 years ago
- A collection of practical circom circuits☆14Updated 3 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Updated 3 years ago
- A library to assist with handling sparse arrays in storage.☆27Updated 2 years ago
- A set of tools for use with the huff language.☆21Updated 3 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
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Updated 3 years ago
- ☆35Updated 3 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Updated 2 years ago
- Trust-minimized commitment pools with zkSNARKs☆38Updated 2 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Updated 2 years ago
- ☆14Updated 3 years ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- ☆27Updated 2 years ago
- ☆40Updated 3 years ago