0xKitsune

Kit Sune

My name is 0xKitsune and I enjoy working on open source projects in the Ethereum ecosystem. I am a protocol engineer at Tools For Humanity by day and OSS contributor by night. I am looking forward to participating in my first ZK hackathon.

Projects

Lemma

Lemma: A blockchain platform where users post unsolved mathematical theorems with bounties, and solvers submit proofs for on-chain validation and trustless rewards.Solidity, React, Rust, Vite, foundry, forge, Risc Zero, RISC-V, proost