noir-lang / noir-nvimLinks
A NeoVim plugin providing syntax highlighting and LSP support for Noir
☆18Updated 3 months ago
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☆31Updated 2 years ago
- A simple RISC-V runtime.☆32Updated 2 weeks ago
- ☆53Updated this week
- RLN on KZG☆21Updated 2 years ago
- Noir support for Zed☆10Updated 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
- The first CHIP-8 zkvm☆20Updated last year
- A monorepo of reusable Noir circuits.☆45Updated 3 weeks ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- Decentralised Privacy-Preserving Contact Discovery☆18Updated 2 years ago
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Updated 7 months ago
- ☆27Updated 4 months ago
- ☆58Updated this week
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- Polynomial Expression Engine☆35Updated last year
- Rust port of c-kzg-4844☆17Updated last year
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆13Updated last year
- On-chain Ethereum light client built with SP1☆70Updated last week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- Rust implementation of KZG point evaluation☆33Updated last month
- ☆94Updated last year
- Andromeda revm execution service☆31Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated last year
- ☆17Updated last year
- Delve into low-level RISC Zero machine☆28Updated last year
- ☆45Updated 3 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆10Updated last year
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Updated 3 years ago