noir-lang / noir-nvimLinks
A NeoVim plugin providing syntax highlighting and LSP support for Noir
☆17Updated last month
Alternatives and similar repositories for noir-nvim
Users that are interested in noir-nvim are comparing it to the libraries listed below
Sorting:
- A Language Server Protocol Implementation for Circom☆33Updated 2 years ago
- Decentralised Privacy-Preserving Contact Discovery☆18Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- Rust port of c-kzg-4844☆17Updated 2 years ago
- ☆53Updated this week
- A simple RISC-V runtime.☆33Updated 4 months ago
- Polynomial Expression Engine☆35Updated last year
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Implementation of ethereum's `ssz`☆109Updated last year
- This repository contains PDF lecture notes from Succinct's internal training program, covering various aspects of zero-knowledge proof te…☆37Updated last year
- ☆94Updated last year
- A client for the Ethereum beacon node APIs☆39Updated 2 years ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆72Updated 3 years ago
- Pluto Web Prover 🦀☆39Updated 10 months ago
- A monorepo of reusable Noir circuits.☆47Updated last week
- Builds an ExecutionPayload from a JSON Block obtained from RPC☆16Updated last year
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Updated 11 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- Rust crate to generate and verify proofs for Noir circuits☆23Updated 3 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- KZG commitments over BLS12-381☆37Updated 3 years ago
- ☆48Updated 4 years ago
- ☆54Updated 7 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated 2 years ago
- ☆49Updated 2 years ago
- On-chain Ethereum light client built with SP1☆80Updated last month