Adrian Perez Keilty's repositories
Mathematical-Cryptography
Mathematical cryptography (custom implementations).
A-hashing-algorithm-in-the-symmetric-group
A hashing algorithm based on a one way function in the symmetric group S_n
Chaum-Pedersen-Protocol
Zero Knowledge Proof identification prototype based on the Chaum-Pedersen protocol written in Rust
Language:Agda000