noir-lang/dummy_proof_system noir-lang/dummy_proof_system

  • Stars
    star
    1
  • Language
  • License
    Apache License 2.0
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
noir-lang/dummy_proof_system
github

noir-lang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A proof system used with the noir compiler language to check acir satisfiability

More Repositories

1

noir

Noir is a domain specific language for zero knowledge proofs
Rust
878
star
2

awesome-noir

A curated list of awesome things related to learning and programming in Noir.
321
star
3

acvm

Rust
46
star
4

acvm-backend-barretenberg

Solidity
39
star
5

noir-examples

A repo of example Noir projects.
Solidity
37
star
6

noirup

Installation tooling for Noir
Shell
22
star
7

docs

MDX
19
star
8

noir-in-an-afternoon

Solidity
15
star
9

book

15
star
10

noir-web-starter-next

Next.js frontend boilerplate for interacting with Noir programs in-browser.
TypeScript
14
star
11

noir-bignum

bignum
Roff
13
star
12

noir_rsa

Roff
12
star
13

noir_string_search

Roff
8
star
14

noir_wasm

JavaScript
8
star
15

marlin_arkworks_backend

Rust
8
star
16

arkworks_backend

Rust
7
star
17

vscode-noir

TypeScript
6
star
18

noir-aztec3

Roff
5
star
19

noir-lsp

Rust
5
star
20

tiny-noirjs-app

JavaScript
5
star
21

barretenberg

JavaScript
4
star
22

noir-nvim

A NeoVim plugin providing syntax highlighting and LSP support for Noir
Vim Script
4
star
23

acvm-docs

Documentation site for ACVM / ACIR
JavaScript
4
star
24

nextjs-bbjs-demo

TypeScript
4
star
25

acvm-simulator

Rust
3
star
26

noir-edwards

Roff
3
star
27

grumpkin

Rust
3
star
28

parser-fuzzer

Rust
3
star
29

zk_bench

Benchmark circom and noir on some standard primitives from circomlib/noir stdlib
Circom
2
star
30

noir-cra

Example Create-React-App featuring use of Noir JS packages
Roff
2
star
31

.github

Organization configuration for the Noir language
2
star
32

noir-aztec3-contract-example

Roff
2
star
33

noir_bigcurve

Roff
2
star
34

acvm-js-wasm

JavaScript
1
star
35

noir_base64

base64 decoder
Roff
1
star
36

noir-wasm-testing

TypeScript
1
star
37

noir_json_parser

Roff
1
star
38

build-nargo

Collection of build scripts to build Nargo CLI targeting different platforms
JavaScript
1
star
39

examples

1
star
40

barretenberg-sys

FFI bindings to Barretenberg
Rust
1
star
41

Planning

Hosting issues for the Prioritisation project board.
1
star
42

noir-source-resolver

Noir source resolver module to bring as dependency for compiling in Browser
JavaScript
1
star
43

noir_js-dev

`noir_js` development version packages container
JavaScript
1
star