An EVM interpreter in Dafny

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

A fully asynchronous, futures-based Kafka client library for Rust based on librdkafka

gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation

A heap memory profiler for Linux

A library for integration-testing against docker containers from within Rust.

Zstandard - Fast real-time compression algorithm

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety

Zero-knowledge virtual machine written in Rust

Eth2.0 spec in Dafny

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

goff (go finite field) is a unix-like tool that generates fast field arithmetic in Go.

Ethereum transaction visualizer. Generates UML sequence diagram for a transaction's contract calls.

Spelling, grammar and style checking on LaTeX documents

Baby SNARK (do do dodo dodo)

Android Graph Library for creating zoomable and scrollable line and bar graphs.

Fast on-disk persistent key-value store

Bellman zkSNARK library for community with Ethereum's BN256 support

The Rust package manager

OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.

Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

non-custodial exchange build with rollup

Access Java classes from Python

Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.

A golang demo for zk-SNARK aggregation

Apache HBase

C++ library for zkSNARKs

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

A Java library for zk-SNARK circuits