Hello,

My name is Ben and I'm a senior blockchain engineer based out of Brisbane, Australia. I'm applying to ZK Hack Montreal because I am currently trying to get to as many hackathons as I can to better my ZK programming skills.

Over the last few months, I've done a number of ZK projects in hackathons, including:

  1. Lisan - lets you prove events happened on other chains by using a ZKP of block state (relayed by LayerZero)
    https://github.com/hooperben/lisan

  2. Roman Kyoto - multi asset shield pool:
    https://github.com/hooperben/lisan

  3. zk0fficer - lets you verify you have a public record somewhere, but without revealing any details about it:
    https://zk-officer.vercel.app/

For this hackathon, I'd like to build something with noir and a zk coprocessor, maybe even rewrite Roman Kyoto using noir (it's currently circom).

I'd also like to try ZKPs on bitcoin to investigate how feasible it really is.