NilFoundation/mina-add-zkapp NilFoundation/mina-add-zkapp

  • Stars
    star
    1
  • Language
    TypeScript
  • License
    Apache License 2.0
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
NilFoundation/mina-add-zkapp
github

NilFoundation

Reviews

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

Repository Details

zkApp to demo state variables in MINA

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-template

Template repository for zkLLVM-based projects
Solidity
19
star
9

zkllvm-rslang

Rust
13
star
10

crypto3-vdf

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

zkllvm-assigner

C++
9
star
12

evm-placeholder-verification

Placeholder proof system verifier for EVM
Solidity
8
star
13

crypto3-algebra

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

evm-proof-market

JavaScript
7
star
15

proof-producer

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

crypto3-hash

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

crypto3-math

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

ethereum-casper-ffg-proof

C++
6
star
19

zkllvm-transpiler

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

crypto3-multiprecision

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

zkllvm-circifier

4
star
22

boost-crypto3

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

ui-kit

=nil; Foundation user interface kit
TypeScript
4
star
24

crypto3-zk-marshalling

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

marshalling

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

vote-saver-protocol

VoteSAVER Protocol Implementation
C++
2
star
27

crypto3-block

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

zkllvm-rust-template

Template repository for zkLLVM-based Rust projects
Rust
2
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