The current algorithm in section 4.4 Add Proof Set/Chain doesn't bind proofs in a chain with each other. This slight modification of the algorithm achieves this result. This PR:
Modifies section 4.4 Add Proof Set/Chain to provide this binding. Thanks to @dlongley for suggesting the mechanism.
Modifies section 4.6 Verify Proof Sets and Chains to work with the improved algorithm
Modifies section 4.8 Processing Errors to formally define the PROOF_CHAIN_CYCLE_ERROR that was in the text but not defined.
The current algorithm in section 4.4 Add Proof Set/Chain doesn't bind proofs in a chain with each other. This slight modification of the algorithm achieves this result. This PR:
PROOF_CHAIN_CYCLE_ERROR
that was in the text but not defined.Files for generating test vectors for these updated procedures have been created at https://github.com/Wind4Greg/EdDSA-Test-Vectors/tree/proof-chains.
Preview | Diff