search

microsoft / Nova

Nova: High-speed recursive arguments from folding schemes
MIT License
673 stars 176 forks source link

How does Nova constrain prev output and next input? #296

Closed ClankPan closed 5 months ago

ClankPan commented 5 months ago

Which part does it constrain previous output and next input?

srinathsetty commented 5 months ago

Hi @ClankPan, you can see this in action here: https://github.com/microsoft/Nova/blob/8244d00a7b3bf5fc44e8cf76c3a0d67cfdb17394/src/circuit.rs#L329

z_input is selected based on the output of the prior step or z_0 here (depending on whether we are in base case or not): https://github.com/microsoft/Nova/blob/8244d00a7b3bf5fc44e8cf76c3a0d67cfdb17394/src/circuit.rs#L322