Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.

Tutorial for STARKs with supporting code in python

A Python-API for the OpenGeoSys 5 scientific modeling package.

CUDA implementation of Fast Fourier Transformations on finite fields

Bellman zkSNARK library for community with Ethereum's BN256 support

Ethereum serialisation for BLS12-381 operations in Rust.

This repository contains a Zero Knowledge Proof of key ownership for Baby Jubjub inside a ZkSnark using ZoKrates

Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates

Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments

A pure-Rust implementation of group operations on Ristretto and Curve25519

A generic token-curated registry

Minimal implementation of the Mimblewimble protocol.

A zkSNARK tutorial and development environment

Rust / Wasm framework for creating reliable and efficient web applications

A toolbox for zkSNARKs on Ethereum

Template for Ethereum (Solidity) smart contract decentralized app (dapp) and test suite with Webpack.

A collection of awesome things regarding React ecosystem

📈 In-browser network graphs representing the links between your Node.js code and its dependencies.

Go implementation of the Ethereum protocol

Simple example Ðapp built with Meteor