iden3 / vim-circom-syntaxLinks
Circom syntax highlighting for vim
☆15Updated 6 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
Sorting:
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Sponsored transactions using Permit2☆44Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Zero-knowledge arithmetic circuit implementation for web-based Battleship game☆16Updated 3 years ago
- Cairo Language Server☆60Updated 2 years ago
- ☆34Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Eth2 CLI debugging tool☆37Updated 3 months ago
- ZK-based engine for self-sovereign SQL queries☆90Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 months ago
- ☆36Updated 2 years ago
- ☆46Updated 3 years ago
- ☆17Updated 2 years ago
- A template for creating a UniRep attester.☆23Updated last year
- WORK IN PROGRESS - researching on how to do LSP clients for VS code.☆30Updated 11 months ago
- ☆31Updated last year
- ☆18Updated 2 years ago
- A base64 encoding library for Cairo. (Decoding in future, maybe?)☆31Updated 3 years ago
- ☆40Updated 2 years ago
- Library for common cairo functions☆38Updated 3 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Solidity verifier for Plonk☆42Updated 9 months ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- ☆47Updated 2 years ago
- CLI tool to develop Starknet projects written in Cairo☆56Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Installation tooling for Noir☆25Updated this week
- Provides tools for testing circom circuits.☆59Updated last week