Repository navigation
ECADD panic (Point1 is not on the curve) #9020
Description
Reproduced here #9019
Relevant code:
https://github.com/AztecProtocol/aztec-packages/blob/master/noir-projects/noir-contracts/contracts/avm_test_contract/src/main.nr#L149
https://github.com/AztecProtocol/aztec-packages/blob/master/noir/noir-repo/noir_stdlib/src/embedded_curve_ops.nr#L29
https://github.com/AztecProtocol/aztec-packages/blob/master/noir/noir-repo/noir_stdlib/src/embedded_curve_ops.nr#L139
resulting point1_1
{
p1X: Field {
rep: Fr<0x0000000000000000000000000000000000000000000000000000000000000002>
},
p1Y: Field {
rep: Fr<0x0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c>
},
p1IsInfinite: true
}
This makes sense since if the two points are equal, noir is adding 1 to the x, using the same y and setting infinite to true.
The AVM panics trying to perform an ecadd with this point1.
Activity
fix(avm): guard against inf (#9081)