Cover Image for zkWarsaw 13: PLONKish arithmetization

Presented by

We're a Warsaw-based community around zero-knowledge proofs. We run zk events with lectures and workshops for researchers, hackers, and builders. ZKP! ♥ Past meetups: https://meetup.com/zkwarsaw

Hosted By

20 Going

zkWarsaw 13: PLONKish arithmetization

Name: zkWarsaw 13: PLONKish arithmetization
Start: 2024-02-20T18:00:00.000+01:00
End: 2024-02-20T20:00:00.000+01:00
Location: Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej

zkWarsaw

Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej

Warszawa, Mazowieckie

Past Event

Welcome! To join the event, please register below.

About Event

During the next zkWarsaw meetup, Leonid Logvinov will explore the internals of how ZK programs get compiled & proved starting with some theory. Then we will move on to example programs. The Noir & Barretenberg will be used as a tool to broader exploration of the concepts.

If you ever asked yourself one of those questions:

• What's the difference between SSA, ACIR opcodes, circuit size, Brillig?
• What's the difference between PLONK, TurboPLONK, UltraPLONK
• How are bounded integers (u8, u32 etc.) implemented in a circuit?
• How do I profile my ZK circuit?
and many more related - this talk will shine some light trading some rigor for pedagogical clarity.

Location: Warsaw University of Technology - Faculty Mathematics and Information Science. Entrance from Koszykowa Street or Aleja Niepodległości Street; floor 1, room 105. Go up the main staircase to the 1st floor. Room 105 is located to the left of the stairs in the corner of the building.

Location