A Rust crate for a Non-Interactive Zero-Knowledge Authentication protocol in collaboration with the Technical University of Munich (TUM).
- In this project we use the cross tool to cross compile our crate for target
arm-unknown-linux-gnueabihfandarmv7-unknown-linux-gnueabihf. For example, inside the folder lib, run:
cross build --target=arm-unknown-linux-gnueabihf - The standard cargo tool could be used to build for Debian computers:
cargo build
The crate code can be found at ./lib
Examples on using this crate can be found at ./examples
Formal security analysis of this protocl using Tamarin-Prover can be found at ./tamarin_security_analysis