=nil; Foundation

Pinned Repositories

crypto3
Modern Cryptography Suite in C++17
Language:C++81 18 13114
crypto3-zk
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
Language:C++33 14 16314
docs.nil.foundation
Language:MDX3 1 55
mina-state-proof
In-EVM Mina State Verification
Language:Solidity82 22 719
nil-hardhat-example
Example setup for deploying and interacting with smart contracts using Hardhat and a custom plugin for the nil blockchain
Language:TypeScript5 4 25
nil-hardhat-plugin
A custom Hardhat plugin to extend support for the =nil;, enabling seamless deployment and interaction with applications within =nil;
Language:TypeScript1 4 31
nil.js
Client-side typescript library for =nil;
Language:TypeScript10 4 3611
solana-consensus-proof
In-EVM Solana Light Client State Verification
Language:C++35 10 399
zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler
Language:C++304 13 32350
zkllvm-blueprint
Circuit components definition library for zkLLVM circuit compiler
Language:C++43 12 19018

=nil; Foundation's Repositories

NilFoundation/zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler
Language:C++304 13 32350
NilFoundation/crypto3
Modern Cryptography Suite in C++17
Language:C++81 18 13114
NilFoundation/zkllvm-blueprint
Circuit components definition library for zkLLVM circuit compiler
Language:C++43 12 19018
NilFoundation/crypto3-zk
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
Language:C++33 14 16314
NilFoundation/zkllvm-assigner
Language:C++12 8 8211
NilFoundation/evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity11 12 5610
NilFoundation/nil.js
Client-side typescript library for =nil;
Language:TypeScript10 4 3611
NilFoundation/proof-producer
Proof producer for the Proof Market
Language:C++9 9 356
NilFoundation/crypto3-zk-marshalling
Marshalling utilities for Crypto3 Zero-Knowledge Schemes https://github.com/NilFoundation/crypto3-zk
Language:C++6 11 505
NilFoundation/nil-hardhat-example
Example setup for deploying and interacting with smart contracts using Hardhat and a custom plugin for the nil blockchain
Language:TypeScript5 4 25
NilFoundation/zkllvm-transpiler
Circuit Transpilers for zkLLVM provable computations compiler
Language:C++5 10 386
NilFoundation/uniswap-v2-nil
This repository is an example repo to showcase how to migrate Uniswap V2 contracts to =nil; L2
Language:TypeScript4 3 25
NilFoundation/docs.nil.foundation
Language:MDX3 1 55
NilFoundation/placeholder
This repository contains most C++ projects combined, flake files and CI scripts
Language:C++3 5 509
NilFoundation/ui-kit
=nil; Foundation user interface kit
Language:TypeScript3 6 1064
NilFoundation/zkEVM-framework
Framework for test verification of state of claster based on EVM
Language:C++3 4 231
NilFoundation/evm-assigner
Language:C++2 2 21
NilFoundation/nil-by-example
A comprehensive guide to building on =nil. Follow the steps to learn and develop your own projects on the =nil platform
Language:Solidity1 3 36
NilFoundation/nil-hardhat-plugin
A custom Hardhat plugin to extend support for the =nil;, enabling seamless deployment and interaction with applications within =nil;
Language:TypeScript1 4 31
NilFoundation/parallel-crypto3
Modern Cryptography Suite in C++17 with performance improved using parallelization
Language:C++1 6 5
NilFoundation/actor-zk
Language:C++0 9 241
NilFoundation/nil.foundation
Language:TypeScript0 6 588
NilFoundation/awesome-nil
A collection of awesome things regarding =nil; ecosystem
NilFoundation/fastssz
Fast Ethereum2.0 SSZ encoder/decoder
Language:Go0 0
NilFoundation/forbid-merge-commits-action
A GitHub Composite Action to forbid merge commits inside pull requests
NilFoundation/goatcounter
Easy web analytics. No tracking of personal data.
Language:Go1
NilFoundation/nil_cli
Language:Shell4 02
NilFoundation/nix-3rdparty
Language:Nix3 0
NilFoundation/proof.market.nil.foundation
Proof-market web interface
Language:TypeScript3 49
NilFoundation/stakeavote
Make stakes on votes
Language:Solidity