(zk)TRIPSTER (Time Release Incentive Platform for Security Threats Ethical Reporting) is an end-to-end verifiable cryptographic infrastructure that facilitates coordinated vulnerability disclosure and contingent transactions for trading exploit information for monetary reward.

It implements proof of exploit in SP1; Solidity-based contingent payment protocol, and verifiable time-lock encryption of vulnuerability details via zk-Timelock.

This project won 2nd place in EthBerlin4 (defensive tooling). See full desctiption and website.

Spectre is a ZK coprocessor for verifying Beacon chain headers via Ethereum lightclient protocol.

It implements Sync committee rotation and attestations circuits in halo2-lib; snark-verifier contracts; and perfomant Halo2-based prover.

It was audited by Veridise and currently used as one of verification methods in Sygma.

S𝛑PETs (Sustainable Practically Indistinguishable Privacy-Enhanced Transactions) is universal covert private transactions scheme. A generalization of Bitcoin’s CoinSwap for any public blockchain that supports ECDSA or Schnorr.

It uses two-party computation (2PC) with adaptor signatures to achive fully scriptless transactions and verifiable timed commitments (VTC) for failed swap resolution.

Rust implementation of drand/tlock scheme.

It provides time-based encryption and decryption capabilities by relying on a drand threshold network and identity-based encryption (IBE).

The IBE scheme implemented here is Boneh-Franklin.

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.