iden3 / vim-circom-syntax
Circom syntax highlighting for vim
☆14Updated 5 years ago
Alternatives and similar repositories for vim-circom-syntax:
Users that are interested in vim-circom-syntax are comparing it to the libraries listed below
- ☆46Updated 3 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Sponsored transactions using Permit2☆44Updated last year
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- ZK-based engine for self-sovereign SQL queries☆88Updated 2 years ago
- ☆39Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Client library for generating and using RLN ZK proofs☆30Updated last year
- ☆33Updated last year
- WORK IN PROGRESS - researching on how to do LSP clients for VS code.☆30Updated 7 months ago
- an introduction to noir, with simple examples☆42Updated last year
- A monorepo of reusable Noir circuits.☆23Updated last week
- A template for creating a UniRep attester.☆23Updated 10 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…☆27Updated 2 years ago
- ☆34Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Proving shortest paths with recursive SNARKs☆12Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated 5 months ago
- A circuit to verify the voice recovery process.☆49Updated last year
- ☆28Updated 2 years ago
- ☆77Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- ☆51Updated 3 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- polynomial commitments from linear codes☆36Updated last month