timofey's repositories
zk-timelock
Arkworks circuits for verifiable time-lock encryption
tss-libp2p
Rust-libp2p transport for {t,n}-threshold signature schemes
two-party-adaptor
Joint 2-Party generation of the one-time Verifiable Encrypted Signature (VES) aka adaptor signatures
contangle-zkcp
Universal Zero Knowledge Contingent Payments (on hold)
halo2-encryption
Halo2 circuit for verifiable encryption based of the hashed ElGamal scheme
discv5-overlay
Generic `OverlayProtocol` based on Trin fork.
zk-knowledge
Knowledge base of ZKP including applications, hardware, technical discussions and more.
ark-circom
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
ark-encryption
Arkworks circuit for verifiable encryption based of the hashed ElGamal scheme.
cli-batteries
Batteries included command line interfaces.
das-research
Data Availability Sampling for Ethereum
halo2-dynamic-sha256
SHA256 verification circuit in halo2 supporting dynamic length input.
halo2-solidity-verifier
A set of tooling related to halo2 circuits verification inside Solidity contracts
halo2ecc-s
A re-implemented ECC circuits with halo2.
lighthouse
Ethereum consensus client in Rust
plonky2-encryption
Plonky2 circuit for the verifiable encryption based of the ElGamal scheme.
sync-committee-rs
A portable library for proving & verifying ethereum's sync committee consensus proofs.