wanseob / soltypesLinks
Typescript implementation of Solidity Types
☆8Updated 2 years ago
Alternatives and similar repositories for soltypes
Users that are interested in soltypes are comparing it to the libraries listed below
Sorting:
- Hermez documentation☆9Updated 2 years ago
- ☆12Updated 2 years ago
- Solidity Merkle Mountain Range Library☆29Updated 2 years ago
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆17Updated 4 years ago
- 🚀 Interep back-end and front-end.☆36Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ☆21Updated 3 months ago
- ☆13Updated 2 years ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆21Updated 7 months ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Updated 4 months ago
- Quadratic Funding Infrastructure☆21Updated last year
- ☆16Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 months ago
- A fork of zkp-sbmtjs☆14Updated 4 years ago
- RLN contract☆13Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- RLN circuits in Circom☆29Updated 10 months ago
- ☆50Updated last year
- Provides tools for testing circom circuits.☆59Updated last week
- A private and non-repudiable reputation system☆16Updated 2 years ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆18Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Anonymous instant chat app (PoC) using RLN☆10Updated 3 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A toolkit to compile and debug circom circuit.☆28Updated last year
- ☆33Updated last year
- ☆10Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆35Updated 10 months ago