Schaeff

zokrates_web_prover

A playground for browser-generated zksnarks with ZoKrates

pilspector

👓

bellman-dsl

A toy DSL on top of Bellman

ZoKrates

A toolbox for zkSNARKS on Ethereum

breaking-community-bellman

A minimal example of regression in bellman 0.2.0

sparse-merkle

zokrates_pest_ast

ZoKrates AST generation based on pest output

zokrates_wasm_resolver_playground

Just playing around with JS functions passed to Rust wasm modules

AdventOfRust2020

Advent of Code 2020 in Rust

bellman

Bellman zkSNARK library for community with Ethereum's BN256 support

breadwallet-android

android SPV bitcoin wallet

gm17

A Rust library for the preprocessing zkSNARK of Groth and Maller

great-ci

toy project of rust ci

halo2

hi

a dummy crate to test binary distributuion

marlin

A Rust library for the Marlin preprocessing zkSNARK

pest

The Elegant Parser

plonk

A pure Rust PLONK implementation using arkworks as a backend.

rec_witgen

rotki

A portfolio tracking, analytics, accounting and tax reporting application that protects your privacy

rust-playground

The Rust Playground

solidity

Solidity, the Contract-Oriented Programming Language

solidity-BN256G2

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

travis-apt

welcome

Welcome to Aleo. Where Applications Become Zero-Knowledge

yultsur

Yultsur is a Rust implementation of Yul.

zeropool-frontend

zkevm-doc

Internal Documentation for the zkEVM project

zokrates_sha

ZoKratesGrammarSpecPEG

Formal grammar specification of the ZoKrates DSL in PEG (Pest)