Session 4 - 2020/04/30
SoK
Title: SoK - Formalising Σ-Protocols and Commitment Schemes using CryptHOL --> @SOK_WG_CRYPTHOL
Speaker: David Butler
Slides - ZKProof slides.pptx.pdf (780.2 KB)
Paper PDF - https://docs.zkproof.org/pages/standards/accepted-workshop3/sok-sigma_protocols_crypthol.pdf
Discussion Notes - https://hackmd.io/Nz1-uFUpRCOVKfk74Eekqw?both
Working Group - https://community.zkproof.org/g/SOK_WG_LIFTING
Proposal
Title: AirAssembly: a low-level language for encoding AIR of computations --> @WG_AIRASSEMBLY
Speaker: Bobbin Threadbare
Slides - AirAssembly 04302020.pdf (424.9 KB)
Paper PDF - https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-airAssembly.pdf
Discussion Notes - https://hackmd.io/q4Eahj9PR1iLPF5KX2HVNA?both
Working Group - https://community.zkproof.org/g/WG_AIRASSEMBLY