BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Remoters.club//Events//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260607T160250Z
UID:event-48dfac68-b14b-4b81-8fad-c4119f5d6d4b@remoters.club
DTSTART:20240204T140000
DTEND:20240204T170000
DESCRIPTION:🎓 Программирование крипто-экселя
 \n https://t.me/hacker_embassy/48491Лекция по написанию 
 программ для zero-knowledge доказательств (by Dmit
 ry Tabalin)Требования к аудитории: не бояться
  арфиметики по модулю и многочленовIf you wa
 nt to create a zero-knowledge proof of 'some program executing correctly'\
 , you need to first rewrite the program into a language that the proof sys
 tem speaks. We are going to look at one of those.This language is an esola
 ng\, which somehow has practical applications:- no control flow: want to e
 mulate an if? No efficient generic implementation exists!- all native oper
 ations are calculating polynomials over a finite field (aka modulo a prime
  number). No 'integers'!- a resulting program is a table with polynomial c
 onstraints between it's cells- xor is best implemented via a lookup tableW
 e are going to write a few simple programs\, culminating in implementing a
  variant of "FizzBuzz" (far from trivial here)!\n 
LOCATION:yerevan\, AM
STATUS:CONFIRMED
SUMMARY:🎓 Программирование крипто-экселя
END:VEVENT
END:VCALENDAR