Zero Knowledge cover image

Definitions, Security and Sumcheck in ZK Systems with Justin Thaler

Zero Knowledge

NOTE

The Importance of Lookups in R1CS

Using lookups in R1CS is crucial for adequate processing; initially, there were restrictions preventing their use in Spartan, while newer features were able to leverage them. The misconception that R1CS cannot support lookup arguments is invalid, as proven by Jolt's implementation. Additionally, it is incorrect to assume that Fitch-Shamir transformations do not result in a significant loss of security, which has been discussed in previous episodes.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner