This package contains the Citadel contract.
DISCLAIMER: this contract has not gone through an exhaustive security analysis, so it is not intended to be used in a production environment, only for academic purposes.
First, compile the license circuit (/target/prover and /target/verifier) as follows:
cargo b --release
Then, compile the license contract:
cargo b --target wasm32-unknown-unknown --release
Finally, execute the tests:
cargo t --release