Built QuietOdds at
@ETHGlobal
Mumbai,
A private prediction market: the odds are public the bettors aren't.
Every bet is a ZK proof written in
@NoirLang
by
@aztecnetwork
and generated in your browser. Nobody can link it to your wallet.
https://t.co/VJ9E5fGHBn
Private money can't be watched, so it has to be proven.
Formally verified in Lean 4 (@leanprover):
bets can't create money
payouts never exceed the pot
sandwiches on our hook lose money
8 theorems, 0 sorry
https://t.co/tuIc7WHQZn
https://t.co/iKvAsGnS1o
@Uniswap
v4 hook: swap and shield funds privately in one tx
@chainlink
CRE resolves markets from real-world data
@ethereumfndn
Anon-RPC hides your IP from the RPC node
Noir by
@aztecnetwork
made the circuits simple to write. Rust-like, built-in
My 2nd ETHGlobal and 1st Devcon. Met some amazing people, had great conversations, got to see what everyone’s building, and soaked in the whole experience.
Wish I had approached a few more people I genuinely wanted to talk to. Social skills and rizz still need some work