Pinned Repositories
Spectre
ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
chainmetric-app
Mobile client application for the IoT enabled blockchain supply chain controlled by sensor requirements system
hyper-greco
Verifiable FHE with GKR
obsidian-hackmd
🚀 Publish your Obsidian notes to HackMD!
obsidian-ticktick
🔄 Sync Obsidian checklists with TickTick so you wont forget a thing!
spy-pets
Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
tlock-rs
Rust library for practical time-lock encryption using `drand` threshold network
tss-libp2p
Rust-libp2p transport for {t,n}-threshold signature schemes
zk-SQL
ZK-based engine for self-sovereign SQL queries
zk-timelock
Arkworks circuits for verifiable time-lock encryption
nulltea's Repositories
nulltea/zk-timelock
Arkworks circuits for verifiable time-lock encryption
nulltea/tlock-rs
Rust library for practical time-lock encryption using `drand` threshold network
nulltea/spy-pets
Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
nulltea/hyper-greco
Verifiable FHE with GKR
nulltea/two-party-adaptor
Joint 2-Party generation of the one-time Verifiable Encrypted Signature (VES) aka adaptor signatures
nulltea/zkTripster
zkTripster: Time Release Incentive Platform for Security Threats Ethical Reporting
nulltea/discv5-overlay
Generic `OverlayProtocol` based on Trin fork.
nulltea/nulltea
0️⃣ ☕️ - research engineer
nulltea/ark-encryption
Arkworks circuit for verifiable encryption based of the hashed ElGamal scheme.
nulltea/bfv
nulltea/gkr-lasso
nulltea/2P-PSI
Production build of Gauss Labs' MP-PSI API using 2PC and FHE
nulltea/axiom-eth
nulltea/bfv-py
BFV implementation in Python
nulltea/cli-batteries
Batteries included command line interfaces.
nulltea/discv5
Rust implementation of Discovery v5
nulltea/ecfactory
SageMath library for constructing elliptic curves
nulltea/Goldilocks
Implementation of Goldilocks and its extension fields for Halo2 traits
nulltea/greco
nulltea/halo2-dynamic-sha256
SHA256 verification circuit in halo2 supporting dynamic length input.
nulltea/halo2-kzg
nulltea/halo2-lib
Monorepo of halo2 crates
nulltea/halo2curves
nulltea/halo2ecc-s
A re-implemented ECC circuits with halo2.
nulltea/lighthouse
Ethereum consensus client in Rust
nulltea/snark-verifier
nulltea/static-dh-ecdh
Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange
nulltea/substrate
Substrate: The platform for blockchain innovators
nulltea/sync-committee-rs
A portable library for proving & verifying ethereum's sync committee consensus proofs.
nulltea/zkVerify
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.