3 cargo test --no-default-features
5 cargo test --no-default-features --features std
6 cargo test --no-default-features --features tokio
7 cargo test --no-default-features --features build_server
9 cargo build --lib --features std
10 cargo build --lib --features tokio
11 cargo build --bin http_proof_gen --features build_server