Discover NilFoundation/mina-state-proof Open Source project

Modern Cryptography Suite in C++17

284

crypto3

Circuit components definition library for zkLLVM circuit compiler

zkllvm-blueprint

In-EVM Solana Light Client State Verification

solana-consensus-proof

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

crypto3-zk

A toolchain for interaction with the Proof Market protocol.

proof-market-toolchain

Template repository for zkLLVM-based projects

zkllvm-template

zkllvm-rslang

Rust

zkllvm-assigner

Placeholder proof system verifier for EVM

evm-placeholder-verification

Proof producer for the Proof Market

proof-producer

Verifiable delay functions for =nil; Crypto3 cryptography suite

crypto3-vdf

=nil; Foundation's Algebraic Operations and Structures Module

crypto3-algebra

Hashing for =nil; Crypto3 cryptography suite

evm-proof-market

JavaScript

crypto3-hash

Client-side typescript library for =nil;

nil.js

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

crypto3-math

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

crypto3-multiprecision

ethereum-casper-ffg-proof

Marshalling utilities for Crypto3 Zero-Knowledge Schemes https://github.com/NilFoundation/crypto3-zk

crypto3-zk-marshalling

Circuit Transpilers for zkLLVM provable computations compiler

zkllvm-transpiler

zkllvm-circifier

Boost-ified verison of Crypto3 cryptography suite

boost-crypto3

=nil; Foundation user interface kit

ui-kit

VoteSAVER Protocol Implementation

vote-saver-protocol

Example setup for deploying and interacting with smart contracts using Hardhat and a custom plugin for the nil blockchain

nil-hardhat-example

Framework for test verification of state of claster based on EVM

zkEVM-framework

Template repository for zkLLVM-based Rust projects

zkllvm-rust-template

Rust

research-excalibur-visualizer

Circuit visualizer for Placeholder proof system circuits.

=nil; Foundation's Marshalling Library

docs.nil.foundation

MDX

marshalling

evm-assigner

This repository contains most C++ projects combined, flake files and CI scripts

placeholder

Block ciphers for =nil; Crypto3 cryptography suite

evm-proof-market-relayer

JavaScript

crypto3-block

Github Action for proper Boost setup

actions-boost-setup

CMake

dbms-replication

zkApp to demo state variables in MINA

mina-add-zkapp

Message authentication codes for =nil; Crypto3 cryptography suite

crypto3-mac

Key derivation functions for =nil; Crypto3 cryptography suite

crypto3-kdf

Crypto3 library template to explore and hack.

crypto3-template

=nil; Foundation's Actor Library

actor

CMake

actor-core

Actor model implementation library

CMake

everscale.nil.foundation

Website repository

JavaScript

evm-lorem-ipsum

zkOracle bringing L1s/L2s, Beacon Chain or Ethereum Historical Data to Ethereum

Modern Cryptography Suite in C++17 with performance improved using parallelization

zkllvm-doom

zkllvm-tutorials

parallel-crypto3

This repository is an example repo to showcase how to migrate Uniswap V2 contracts to =nil; L2

uniswap-v2-nil

A custom Hardhat plugin to extend support for the =nil;, enabling seamless deployment and interaction with applications within =nil;

nil-hardhat-plugin

A comprehensive guide to building on =nil. Follow the steps to learn and develop your own projects on the =nil platform

nil-by-example

Multithreading Library Input/Output

actor-network