BitDevs Athens: Validity Proofs, food & drinks

BitDevs Athens is a community for those interested in discussing and participating in the research and development of Bitcoin and Bitcoin-related protocols. You can be well versed with or new to the topics, all are welcome. Be advised: discussion will be ***technical***.

We are following a Socratic Seminar format that originated in BitDevs NYC: presenters introduce topics for up to 10 mins and a discussion among participants follows. It is highly recommended that participants have been through the reading material in advance. We also go through the month's Bitcoin technical news.

This day's topic will be:

1) Validity Proofs a.k.a. Zero-knowledge proofs:

• Generic Zero Knowledge Proofs explanation
• Validity proofs (using Fraud proofs as comparison) by StarkWare
• ZK proofs vs Fraud proofs , by Alchemy
• Intro to Polynomial Commitments
• A written intro to ZKP and ZK-SNARKS
• Podcast with prominent ZK-proofs actors (1h30m)

USECASES / applications

zk-sync:

• Robin Linus zk-sync announcement
• seen in Bitcoin OpTech
• zk-sync whitepaper

Rollups:

• John Light's HRF report
• Summary version of HRF report

2) Review of technical Bitcoin news. In every meetup we go through technical Bitcoin news.

How should I prepare? Read the material.
Do you hold meetups for a wider audience? Yes, please subscribe to https://www.meetup.com/blockchaingreece-0/ and review past meetups.

The event will be held in English and is free. We start at 7pm and at 9 pm we will head to dinner & drinks, all are welcome! We would like to thank Programize for hosting us.