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
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ☆40Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Sponsored transactions using Permit2☆44Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- A base64 encoding library for Cairo. (Decoding in future, maybe?)☆31Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆34Updated last year
- ☆46Updated 3 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Batch ECDSA in circom☆33Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated 10 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- A Brainfuck zkVM with Circom.☆58Updated last year
- ZK-based engine for self-sovereign SQL queries☆89Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆35Updated 8 months ago
- ☆38Updated last year
- an introduction to noir, with simple examples☆45Updated last year
- Benchmarking Polynomial Commitments☆49Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated last year
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- ☆40Updated 3 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago