π ΠΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΊΡΠΈΠΏΡΠΎ-ΡΠΊΡΠ΅Π»Ρ
https://t.me/hacker_embassy/48491
ΠΠ΅ΠΊΡΠΈΡ ΠΏΠΎ Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ Π΄Π»Ρ zero-knowledge Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ² (by Dmitry Tabalin)
Π’ΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΡ ΠΊ Π°ΡΠ΄ΠΈΡΠΎΡΠΈΠΈ: Π½Π΅ Π±ΠΎΡΡΡΡΡ Π°ΡΡΠΈΠΌΠ΅ΡΠΈΠΊΠΈ ΠΏΠΎ ΠΌΠΎΠ΄ΡΠ»Ρ ΠΈ ΠΌΠ½ΠΎΠ³ΠΎΡΠ»Π΅Π½ΠΎΠ²
If you want to create a zero-knowledge proof of 'some program executing correctly', you need to first rewrite the program into a language that the proof system speaks. We are going to look at one of those.
This language is an esolang, which somehow has practical applications:
- no control flow: want to emulate an if? No efficient generic implementation exists!
- all native operations are calculating polynomials over a finite field (aka modulo a prime number). No 'integers'!
- a resulting program is a table with polynomial constraints between it's cells
- xor is best implemented via a lookup table
We are going to write a few simple programs, culminating in implementing a variant of "FizzBuzz" (far from trivial here)!
When / Where
- From: February 04, 2024 at 02:00 PM
- To: February 04, 2024 at 05:00 PM
- AM Yerevan, Pushkina 38/18 0001 Yerevan Armenia
- Offline
- Free
Venue information
Hacker Embassy
We came from various countries and cities and opened a hackspace in Yerevan. We work together on projects, share ideas and kn...
