Matteo

any-zkvm. A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use

provable-email-game-engine. A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.

rust-sumcheck. rust implementation of the sumcheck protocol, interactive or non-interactive (using merlin)

groupchat-market. polymarket for your groupchat, made at frontiers 2025; using hyli

rust-gkr. rust implementation of the GKR protocol based on my own implementation of the sumcheck

buy-my-tweet. buy a tweet from someone, get paid by providing a zktls proof you tweeted

sp1-fc-cast. prove that a certain user casted a certain message on farcaster

sp1-p256-precompile. example of p256 verification using sp1 precompiles

rust-pow. rust implementation of a PoW blockchain

hyle-cosmos. Cosmos PoC of the Hylé node - a sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.

wallet-estimate-viewer. An interface to have an estimate of how much your wallet + NFT (at floor) is worth.

onchain-2fa. onchain 2fa using ZKEmail

zukpassport-ticket-vault. TypeScript

hyleoof. Small demo app for the hyle AMM, using yew

2ddoc-sp1. poc of proving a 2d-doc signature using sp1