ZK9: The Red Wedding: Marrying DEEP-AIR + PLONK – Ferdinand Sauer & Alan Szepieniec (Neptune/Triton)

This was recorded at the ZK9 - Zero Knowledge Summit 9 on April 4 2023 in Lisbon.

https://www.zksummit.com/

Title: The Red Wedding: Marrying DEEP-AIR and PLONK
Speaker: Ferdinand Sauer & Alan Szepieniec (Neptune/Triton VM)
Description: STARK verifiers check that the system's rules are adhered to through the Arithmetic Intermediate Representation (AIR) describing the system in question. In the straight-forward approach, the verifier evaluates the AIR multiple times. Using the Domain Extension to Eliminate Pretenders (DEEP) trick, only one AIR evaluation is required. Alternatively, using PLONK, the verifier can verify correct evaluation of the AIR circuit multiple times instead of evaluating it themself. The Red Wedding combines both techniques, resulting in a single circuit verification in an out-of-domain point.

If you like what we do:
Subscribe to our podcast newsletter - https://zeroknowledge.substack.com
Follow us on Twitter @zeroknowledgefm -   / zeroknowledgefm  
Join us on Telegram - https://zeroknowledge.fm/telegram
Catch us on Youtube - https://zeroknowledge.fm/
Head to the ZK Community Forum - https://community.zeroknowledge.fm/
Support our Gitcoin Grant - https://zeroknowledge.fm/gitcoin-gran...