in-toto / attestation-verifier

Prototype in-toto attestation verifier based on ITE-10 and ITE-11 layouts
Other
15 stars 7 forks source link

Ensure paramsub terminates or aborts #5

Closed adityasaky closed 11 months ago

adityasaky commented 11 months ago

The verifier runs parameter substitution multiple times until the output string is the same as the input string. This allows for nested parameter substitution as seen in the current npm-sigstore example. However, the implementation lacked a check to ensure a parameter's value didn't refer to the same parameter.