Anaïs Querol
Anaïs Querol
Oh thank you for the idea! I will look at that for now until I figure out how to solve the building issue 😄
Closely related to https://github.com/o1-labs/proof-systems/pull/1289
This looks like folding
This might be inside Folding though
This probably is Folding work instead
I have been trying to identify the instructions and concrete constraints that are failing (this might not be a complete list, as I believe some of the instruction variants have...
Update: After merging https://github.com/o1-labs/proof-systems/pull/2093, this is the status of the MIPS trace: ## RType - [x] ShiftLeftLogical - [x] ShiftRightLogical - [x] ShiftRightArithmetic, - [x] ShiftLeftLogicalVariable, - [x] ShiftRightLogicalVariable, -...
Update: After https://github.com/o1-labs/proof-systems/pull/2100 https://github.com/o1-labs/proof-systems/pull/2101 https://github.com/o1-labs/proof-systems/pull/2102 https://github.com/o1-labs/proof-systems/pull/2103 https://github.com/o1-labs/proof-systems/pull/2104 https://github.com/o1-labs/proof-systems/pull/2105 https://github.com/o1-labs/proof-systems/pull/2106 https://github.com/o1-labs/proof-systems/pull/2107 ## RType - [x] ShiftLeftLogical - [x] ShiftRightLogical - [x] ShiftRightArithmetic, - [x] ShiftLeftLogicalVariable, - [x] ShiftRightLogicalVariable, - [x] ShiftRightArithmeticVariable,...
Update: After https://github.com/o1-labs/proof-systems/pull/2274 https://github.com/o1-labs/proof-systems/pull/2280 https://github.com/o1-labs/proof-systems/pull/2228 ## RType - [x] ShiftLeftLogical - [x] ShiftRightLogical - [x] ShiftRightArithmetic, - [x] ShiftLeftLogicalVariable, - [x] ShiftRightLogicalVariable, - [x] ShiftRightArithmeticVariable, - [ ] `JumpRegister` ->...