proofs/crypto/blake/blake2b/proof.bend

bend-collections-laws-crypto@1.0.0.0 · 13 lines · 0 definitions

1import Base
2import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake2b/laws.bend as Laws
3import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake2b/compress.bend as C
4import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake2b/blocks.bend as B
5import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake2b/api.bend as A
6
7# Gate for the BLAKE2b-512 package: `bend proofs/crypto/blake/blake2b/proof.bend`
8# prints "ALL PROOFS CHECK" when every law of laws.bend holds.
9def Laws.blake2b_correct(words,byte_length): B.blake2b_correct(words,byte_length)
10def Laws.compress_correct(h,t,w0,w1,w2,w3,w4,w5,w6,w7,w8,w9,w10,w11,w12,w13,w14,w15,w16,w17,w18,w19,w20,w21,w22,w23,w24,w25,w26,w27,w28,w29,w30,w31): C.compress_correct(h,t,w0,w1,w2,w3,w4,w5,w6,w7,w8,w9,w10,w11,w12,w13,w14,w15,w16,w17,w18,w19,w20,w21,w22,w23,w24,w25,w26,w27,w28,w29,w30,w31)
11def Laws.compress_last_correct(h,t,w0,w1,w2,w3,w4,w5,w6,w7,w8,w9,w10,w11,w12,w13,w14,w15,w16,w17,w18,w19,w20,w21,w22,w23,w24,w25,w26,w27,w28,w29,w30,w31): C.compress_last_correct(h,t,w0,w1,w2,w3,w4,w5,w6,w7,w8,w9,w10,w11,w12,w13,w14,w15,w16,w17,w18,w19,w20,w21,w22,w23,w24,w25,w26,w27,w28,w29,w30,w31)
12def Laws.digest_size(h): A.digest_size(h)
13def Laws.capacity_rejection(a,n,capacity,invalid): A.capacity_gate(a,n,capacity,invalid)