Module vaes
rust_aes_proofs::por
Pipelined proof of replication decoding with VAES
Pipelined proof of replication encoding with VAES