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

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)

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.