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:
Lisan - lets you prove events happened on other chains by using a ZKP of block state (relayed by LayerZero)
https://github.com/hooperben/lisan
Roman Kyoto - multi asset shield pool:
https://github.com/hooperben/lisan
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.