search

MinaProtocol / mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
https://minaprotocol.com
Apache License 2.0
1.97k stars 523 forks source link

Folding: document we do use folding on degree 3 constraints #15658

Closed dannywillems closed 1 month ago

dannywillems commented 1 month ago

it seems we do not use exactly Nova's equation to compute the error terms, we do use folding with constraints of degree 3. We must write the equations in the documentation/code (like top-level folding/lib.rs).

Error terms computation: /// - "E_O = E_L + r·T_0 + r^2·T_1 + r^3·E_R"

dannywillems commented 1 month ago

It is done in https://github.com/o1-labs/proof-systems/pull/2259