Pessimistic proof for the AggLayer.

Rust implementation of the Agglayer.

A modular Rust implementation of the static version of the ICE-FROST signature scheme.

Docker base images for CI workflows and local use of topos projects in docker

Implementation of the Topos Protocol

A custom Schnorr signature scheme using Rescue-Prime hash internally for fast verification in zk-STARK statements.

A collection of algebraic hash functions written in Rust.

An example of state-transition AIR program backed by the winterfell library.

A fork of the novifinancial/winterfell STARK library.

A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.

A fork of frost-dalek, made WASM compatible, and upgraded to Static ICE-FROST

A complete computer science study plan to become a software engineer.

Submission site for 2018Q2 Zcash Foundation grant proposals.

Elliptic Curve Integrated Encryption Scheme (ECIES)

bitFlyer BTC-FX/JPY plugin for R2 Bitcoin Arbitrager