nulltea

zk-SQL

ZK-based engine for self-sovereign SQL queries

zk-timelock

Arkworks circuits for verifiable time-lock encryption

tlock-rs

Rust library for practical time-lock encryption using `drand` threshold network

spy-pets

Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr

two-party-adaptor

Joint 2-Party generation of the one-time Verifiable Encrypted Signature (VES) aka adaptor signatures

zkTripster

zkTripster: Time Release Incentive Platform for Security Threats Ethical Reporting

halo2-encryption

Halo2 circuit for verifiable encryption based of the hashed ElGamal scheme

contangle-zkcp

Universal Zero Knowledge Contingent Payments (on hold)

discv5-overlay

Generic `OverlayProtocol` based on Trin fork.

gkreco

Verifiable FHE with GKR

nulltea

0️⃣ ☕️ - research engineer

zk-knowledge

Knowledge base of ZKP including applications, hardware, technical discussions and more.

ark-encryption

Arkworks circuit for verifiable encryption based of the hashed ElGamal scheme.

axiom-eth

cli-batteries

Batteries included command line interfaces.

das-research

Data Availability Sampling for Ethereum

discv5

Rust implementation of Discovery v5

ecfactory

SageMath library for constructing elliptic curves

halo2-dynamic-sha256

SHA256 verification circuit in halo2 supporting dynamic length input.

halo2-kzg

halo2-lib

Monorepo of halo2 crates

halo2curves

halo2ecc-s

A re-implemented ECC circuits with halo2.

HTLP

Implementation of Homomorphic Time Lock Puzzles.

lighthouse

Ethereum consensus client in Rust

plonky2-encryption

Plonky2 circuit for the verifiable encryption based of the ElGamal scheme.

snark-verifier

static-dh-ecdh

Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange

substrate

Substrate: The platform for blockchain innovators

sync-committee-rs

A portable library for proving & verifying ethereum's sync committee consensus proofs.