lambdaclass / lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

https://lambdaclass.github.io/lambdaworks/

Apache License 2.0

625 stars 140 forks source link

Fix: STARK prover expression bug #908

Closed Einstellung closed 2 months ago

Einstellung commented 2 months ago

Optimizing Expressions in STARK Prover Documentation

Description

There is no need to provide "Open(p₀(D₀), 𝜐ₛ)" and "Open(pₖ(Dₖ), 𝜐ₛ^(2ᵏ))" to the verifier, as it can derive them by itself.

Type of change

[x] Optimization

Checklist

Only modified markdown and comments, no need to test the code.