Skip to main content

Module proof

vest_lib::combinators::permute

Module proof 

Source
Expand description

Proofs of the security and correctness properties for this combinator. Correctness and malleability proofs for permutation formats.