• Stars
    star
    19
  • Rank 1,125,539 (Top 23 %)
  • Language
    Solidity
  • Created over 1 year ago
  • Updated about 2 months ago

Reviews

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

Repository Details

Template repository for zkLLVM-based projects

More Repositories

1

zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler
C++
247
star
2

mina-state-proof

In-EVM Mina State Verification
Solidity
79
star
3

crypto3

Modern Cryptography Suite in C++17
CMake
66
star
4

zkllvm-blueprint

Circuit components definition library for zkLLVM circuit compiler
C++
39
star
5

crypto3-zk

Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
C++
32
star
6

solana-consensus-proof

In-EVM Solana Light Client State Verification
C++
30
star
7

proof-market-toolchain

A toolchain for interaction with the Proof Market protocol.
C++
22
star
8

zkllvm-rslang

Rust
13
star
9

crypto3-vdf

Verifiable delay functions for =nil; Crypto3 cryptography suite
C++
9
star
10

zkllvm-assigner

C++
9
star
11

evm-placeholder-verification

Placeholder proof system verifier for EVM
Solidity
8
star
12

crypto3-algebra

=nil; Foundation's Algebraic Operations and Structures Module
C++
8
star
13

evm-proof-market

JavaScript
7
star
14

proof-producer

Proof producer for the =nil; Proof Market https://proof.market.nil.foundation/
C++
6
star
15

crypto3-hash

Hashing for =nil; Crypto3 cryptography suite
C++
6
star
16

crypto3-math

Polynomial Arithmetics, Fast Fourier Transforms for =nil; Crypto3 C++ Cryptography Suite
C++
6
star
17

ethereum-casper-ffg-proof

C++
6
star
18

zkllvm-transpiler

Circuit Transpilers for zkLLVM provable computations compiler
C++
5
star
19

crypto3-multiprecision

Cryptography-Enhanced Multiprecision for =nil; Crypto3 C++ Cryptography Suite.
C++
5
star
20

zkllvm-circifier

4
star
21

boost-crypto3

Boost-ified verison of Crypto3 cryptography suite
C++
4
star
22

ui-kit

=nil; Foundation user interface kit
TypeScript
4
star
23

crypto3-zk-marshalling

Marshalling utilities for Crypto3 Zero-Knowledge Schemes https://github.com/NilFoundation/crypto3-zk
C++
4
star
24

marshalling

=nil; Foundation's Marshalling Library
C++
2
star
25

vote-saver-protocol

VoteSAVER Protocol Implementation
C++
2
star
26

crypto3-block

Block ciphers for =nil; Crypto3 cryptography suite
C++
2
star
27

zkllvm-rust-template

Template repository for zkLLVM-based Rust projects
Rust
2
star
28

mina-add-zkapp

zkApp to demo state variables in MINA
TypeScript
1
star
29

actions-boost-setup

Github Action for proper Boost setup
CMake
1
star
30

crypto3-mac

Message authentication codes for =nil; Crypto3 cryptography suite
C++
1
star
31

crypto3-kdf

Key derivation functions for =nil; Crypto3 cryptography suite
C++
1
star
32

docs.nil.foundation

JavaScript
1
star
33

dbms-replication

C++
1
star
34

actor

=nil; Foundation's Actor Library
CMake
1
star
35

actor-core

Actor model implementation library
CMake
1
star
36

everscale.nil.foundation

Website repository
JavaScript
1
star
37

evm-lorem-ipsum

zkOracle bringing L1s/L2s, Beacon Chain or Ethereum Historical Data to Ethereum
Solidity
1
star
38

crypto3-template

Crypto3 library template to explore and hack.
C++
1
star
39

zkllvm-doom

1
star
40

research-excalibur-visualizer

Circuit visualizer for Placeholder proof system circuits.
C++
1
star
41

zkllvm-tutorials

1
star
42

cairo-placeholder-verification

Python
1
star