thomasr

Thomas Redfern

My journey into crypto started when I began working for a crypto algorithmic trading firm as a software engineer, but I have transitioned to smart contract engineering in the last year. I've attended several other hackathons and always have a great time and equally enjoy sprinting on a project and meeting new people.

I'm good at getting things done quickly, I'm a generalist with regard to coding. Although my best language is Python I've also built applications in Solidity, Rust, and Typescript.

The crypto applications that most interest me are defi and ZK. I feel strongly about the importance of privacy and it's clear that ZK will enable interesting new applications there, and similarly I think the world badly needs decentralized finance solutions to avoid censorship and rent seeking middlemen.

Some of the projects I built for past hackathons included a perpetual exchange built on a Uniswap v4 hook, and a ZK poker application. Outside of crypto, I built a poker solver that could find game theory optimal solutions for the pot-limit omaha poker variant.

Projects

PoZKer

Play poker with your friends in a fully permissionless and trustless manner.Next.js, TypeScript, o1js

Crunch

Crunch (it's like curl, but harder) generates Risc0 ZK proofs for Web2 API data delivered over HTTPS with TLS 1.3 by using a scalable MPC notarization ceremony.Rust, risc0, MPC, MP-SPDZ, garble_lang

zgate

Gate access to Telegram group chats using ZK proofs with Risc Zero and zkVerifyRisc Zero, zkverify

Skills

Python
Solidity
Rust
TypeScript