τeaƒeλ

timoфey

timofey avatar

zkTimelock

Project thumbnail

Arithmetic circuits for verifiable time-lock encryption written in Arkworks.

The implemented algorithm is the Boneh-Franklin identity-based encryption (IBE). over BLS12-381 (for compatability with drand network).

For experiments circuit comes in 3 variants: over BLS12-377 (1), via non-native arithmetic (2), and over application-specific curve (YT-776) and FFT-less Gemini (3)

Project thumbnail

A pure Go implementation of signature adaptors using ECDSA over secp256k1 curve.

Adaptor signatures are a type of signature encryption where the decryption key can be recovered from the decrypted signature. This property makes them valuable for various blockchain and cryptographic applications.

It is based off the DLC spec.

zkSQL

Project thumbnail

zkSQL lets one to prove the correctness of the SQL queries performed against the database hosted in an untrusted environment.

Project implements a platform that connects “data miners” running SQL-prover nodes and users that wish to outsource their data and are willing to pay for such service.

tss-libp2p

Project thumbnail

A Rust libp2p transport for {t,n}-threshold signature schemes based on GG20, a full multi-party computation (MPC) algorithm for threshold ECDSA with support for identifying malicious parties.

Structured around the virtual “room” abstraction and the “Single Proposer; Multiple Joiners” model with echo broadcast as a reliable broadcast scheme.