Bittorrent economics, Gödel's incompleteness theorem & FRI proofs! EN/中文 ONLINE

Agenda

7:00 Intro

7:10-7:40 Oskar Thoren on Evolution of Cooperation and Bittorrent Incentives [part 2/2] (including QA & discussion) [Chinese]
7:50-8:20 Felipe Argento on Gödel's incompleteness theorems (including QA & discussion)
8:30-9:00 Er-Cheng Tang on FRI protocol and its proof (Fast Reed-Solomon Interactive Oracle Proofs of Proximity) (including QA & discussion)
9:00-9:30 Free for all

Leave by 9ish

ZOOM INFO:

Meeting ID: 889 4197 0301
Passcode: 526097

https://sfsu.zoom.us/j/88941970301?pwd=bTA3ZWhoeEwzMlhVZkQ4dWdCcFMvQT09

Talk 1 (in Chinese):

Part 2/2

Oskar Thoren 是 Vac 協定的研究負責人，Vac 是 Status 等應用程式中使用的安全訊息傳遞架構。最近，他正在研究Waku v2，這是一種保護隱私的p2p訊息協定。

講題簡介：
本演講介紹了即使在乍看之下毫無意義的情況下，雙方如何發展合作以及為什麼合作可以發生。 通過使用賽局理論分析情況，我們可以看到諸如以牙還牙的簡單策略令人驚訝的表現出色。 我們還將研究在Bittorrent的經濟設計中，此原理如何應用在節點之間的誘因共享。 這場演講基於經典的合作進化論（Axelrod，1984年）和《誘因機制在BitTorrent中建立穩健性》（Cohen，2003年）。

Talk intro:
This talk introduces how and why cooperation can develop between two parties even in situations where it at first glance doesn’t make sense. By analyzing situations using game theory, we can see how simple strategies such as tit-for-tat perform surprisingly well. We also look at how this principle is applied in Bittorrent’s economic design to incentives sharing between peers. The talk is based on the classic Evolution of Cooperation (Axelrod, 1984) and Incentives Build Robustness in BitTorrent (Cohen, 2003).

Speaker intro:
Oskar Thoren is the protocol research lead at Vac, the secure messaging stack used in apps such as Status. Recently, he is working on Waku v2, a privacy-preserving p2p messaging protocol.

Talk 2

Title of the talk: "Gödel's incompleteness theorems"

Talk intro:
An intuition on how Godel crushed mathematicians dreams with the incompleteness theorem.

Speaker intro:
Felipe is a blockchain engineer at Cartesi that likes to read about a broad range of subjects that he don't really understand but want to understand better.

Talk 3

Er-Cheng Tang on FRI protocol and its proof (Fast Reed-Solomon Interactive Oracle Proofs of Proximity)

Speaker Introduction
Er-Cheng Tang is a cryptographer and a software engineer focusing on post-quantum cryptography and zero-knowledge proofs. He helped contribute to projects that needed a team of engineers to exploit and protect against common vulnerabilities that appeared in software products and websites. Er-Cheng has a strong background in mathematics; his master thesis centered on improving the communication efficiency of IOP-based zero-knowledge proofs. He contributes to the Meson project with the HashCloak team. Website: http://hashcloak.com/