(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.

An implementation of McFly scheme (Verifiable Encryption to the Future Made Practical) in Rust using Arkworks arithmetic.

Made for the Delorean protocol as a part of HackFS 2024 virtual hackaton.

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.

Research prototypes of DHT-based Data Availability Sampling in Ethereum.

This work was done as a part of EF’s DAS-RFP. Find the research memo here.