ledwards2225
ledwards2225
> Figured it out: it comes from the bigfield constructor. That constructor add constraints when it breaks down the Fq values to bigfield limbs. Does this mean this issue is...
@iakovenkos pinging you again on this - what's your assessment of whether there's something more to be done?
This pattern also makes it easy to miss components of the VerificationKey. E.g. databus_propagation_data is currently missing
Update: The AVM team solved this by introducing a version of get_row that returns const refs instead of copying data. Apparently this was as good as the more involved solution...
@lucasxia01 Is this still relevant? If so, can you clarify what part of the code this refers to?
We should confirm that hashing in the tube does not result in unexpected numbers of gates.
This may or may not be worthwhile. Evaluate for any major upside otherwise seems low priority
Aside from the security caveats above, this is a basic description of what needs to be done to pipe the right public inputs into the base rollup: The base rollup...
> [@ledwards2225](https://github.com/ledwards2225) this will be closed by an upcoming PR of [@sirasistant](https://github.com/sirasistant) right? Or will that PR only pave the way for a final PR to fix this issue? This...
As of writing this things are closer to being correct than the original description suggests. The public inputs of the tail kernel are propagated from the hiding circuit to the...