τeaƒeλ

2024

• (zk)TRIPSTER

  zkTripster: Time Release Incentive Platform for Security Threats Ethical Reporting (2024-05)

• McFly-rs

  Verifiable Encryption to the Future Made Practical' (2024-05)

• Spectre

  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol (2024-03)

2023

• S𝛑PETs

  S𝛑PETs - Sustainable Practically Indistinguishable Privacy-Enhanced Transactions (2023-02)

• ProtoDAS

  Research prototypes of Data Availability Sampling for Ethereum (2023-01)

2022

• zkTimelock

  Arkworks circuits for verifiable time-lock encryption (2022-09)

• tlock-rs

  Rust library for practical time-lock encryption using `drand` threshold network (2022-08)

• go-signature-adaptor

  Pure Go implementation of signature adaptors using ECDSA. Currently implemented for secp256k1 but generalized to be extended over any curve. It is based off the DLC spec. (2022-08)

• zkSQL

  ZK-based engine for verifiable self-sovereign SQL queries (2022-07)

• tss-libp2p

  Rust-libp2p transport for {t,n}-threshold signature schemes (2022-06)