Elliptic curve operations, including pairings

Elliptic curve pairing in Python

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM

MiMC hash function

zkInterface is a protocol for the interoperability of zero-knowledge frameworks.

examples for bellman zk-snarks library

zk-SNARK library.

Emacs Minor Mode for Cargo, Rust's Package Manager.

Rust port of JoeyDeVries/LearnOpenGL

Elliptic Curves Cryptography Library

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Haskell binding to OpenCV-3.x

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

JavaScript generic ASN.1 parser

Anki's shared backend and web components, and the Qt frontend

Tensorflow port of Image-to-Image Translation with Conditional Adversarial Nets https://phillipi.github.io/pix2pix/

Vector math package used by JCSG, VRL and VMF.

Solution for compiling Cairo on Windows 32/64 bit