​About ZK House Bogotá

​ZK House Bogotá is an invite-only hacker space for attendees of DevCon. At the ZK House, we're focused on all things zero-knowledge proofs: we have talks throughout the day covering all major topics around web3 ZK innovation, and fun events at night with a live DJ spinning music.

​The Sponsors and Hosts

​Top web3 projects in the ZK and privacy space are putting together the event. We have an amazing roster of speakers and topics that we'll be covering. The sponsor of the event is Polychain Capital. The hosts include p0xeidon labs, Scroll, and Veridise.

​List of Speakers

• ​Special Guest Edward Snowden

• ​Ethereum Foundation

• ​0xParc

• ​p0xeidon labs

• ​Veridise

• ​NYM

• ​Aztec

• ​Polygon

• ​Electric Coin Company (ZCash)

• ​Scroll

• ​EigenLayer

• ​Webb

​Day 1 (October 10)

• ​10:00 am: Open

• ​12:00 pm: Lunch

• ​12:45 pm: Prologue of L2 Security – Session Overview: Jon (Veridise)

• ​01:00 pm: Becoming a L2 Security Expert with SaaS – Jon, Michael, Ben, Jacob, Shankara

  • ​Prologue: Security as a Service (SaaS) – Jon, Veridise (5-10m)

  • ​Benchmarks for Formal Verification  – Michael Chu, 0xparc (5m)

  • ​An Introduction to the [V] Specification Language - Jon, Veridise (5-10m)

  • ​Finding Bugs in L2 Contracts with fuzzing (20m Ben, Veridise)

  • ​Formally Verifying ZK Contracts in Cairo (20m Jacob, Veridise)

  • ​Hunting Common Vulnerabilities in ZK Circuits (20m Shankara, Veridise)

• ​03:10 pm: L2/ZK Security Landscape - BarryWhitehat, Ethereum Foundation (EF)

• ​03:30 pm: Universal zkAsset Protocol (MantaPay) and Trusted Setup - Brandon Gomes, p0xeidon labs 

• ​04:00 pm: Optimizing and Securing ZK Circuits for Elliptic Curve Operations - Yi Sun, Axiom

• ​04:30 pm: building mental models in ZK intersections. - gubsheep, 0xPARC

• ​05:00 pm: Cross-chain Zero-knowledge Messaging - Drew Stone, Webb

• ​07:00 pm: Dinner

• ​09:00 pm: Party

​Day 2 (October 11)

• ​10:00 am: Open

• ​11:30 am: Lunch

• ​12:00 pm: UPA intro: Harry (Nym) and Kenny (p0xeidon labs)

• ​12:15 pm: Snowden Keynote

• ​01:00 pm: Privacy Panel

  • ​ Speaker 1: Nym (Harry)

  • ​ Speaker 2: Aztec (Jon)

  • ​ Speaker 3: Polygon (Silvia)

  • ​ Speaker 4: p0xeidon labs (Kenny)

  • ​ Speaker 5: ZCash (Josh)

• ​02:00 pm: Poseidon VM intro - Shumo Chu, p0xeidon labs

• ​02:30 pm: The ZK Landscape: Predictions on the Future of Privacy in Web3

  • ​Speaker 1: Luke (Polychain)

  • ​Speaker 2: Drew (Braven Howard)

  • ​Speaker 3: Wei (Bain Capital)

  • ​Speaker 4: Ryan (Blockchain Capital)

  • ​Speaker 5: Praneeth (Ethereal Ventures)

• ​03:00 pm: Scroll sharing- Haichen, Scroll

• ​03:30 pm: zkEVM Panel

• ​04:30 pm: Sreeram Kannan, EigenLayer

• ​05:00 pm: Kartin, Hyper Oracle

• ​07:00 pm: Dinner

• ​09:00 pm: Party