Suneal issues

Repositories
Issues
Comments

Results 2 issues of


                                            Suneal

ARC-0080: Explicitly Reject Program Address as Record Owner

[ARC0080-README](https://github.com/AleoHQ/ARCs/blob/108c44c4deadb4166be30fae4dfc48d3413969b1/arc-0080/README.md) The current Aleo system permits the assignment of a `Record` to any address, including program addresses. However, programs cannot spend a `Record`. Consequently, any `Record` assigned to a program...

Prover can provide larger `proof.trace_length` value that is still valid

The verifier only uses the `padded_trace_length` to verify the proof: ```rust let padded_trace_length = proof.trace_length.next_power_of_two(); ``` The prover can provide a larger `proof.trace_length` value (e.g. `proof.trace_length + 1`) that is...