Arm-Risc0 application examples
-
example_circuits/: Demonstration circuits for applications:- counter: The simple counter logic circuit
- kudo circuits(kudo_main, simple_kudo_denomination, simple_kudo_receive): kudo application circuits
-
examples/: Demonstration application examples:
- Compile
examples
cargo build- Run
examplestests
# run tests in dev-mode: no real proofs are generated
RISC0_DEV_MODE=1 cargo test
# run tests in release mode: default succinct(stark) proofs are generated
cargo test --release- Run examples
For example, run the simple counter example:
# Run the counter initialization test
cargo test test_create_init_counter_tx
# Run the counter increment test
cargo test test_create_increment_txcargo risczero build --manifest-path example_circuits/simple_counter/methods/guest/Cargo.toml
cargo risczero build --manifest-path example_circuits/kudo_main/methods/guest/Cargo.toml
cargo risczero build --manifest-path example_circuits/simple_kudo_denomination/methods/guest/Cargo.toml
cargo risczero build --manifest-path example_circuits/simple_kudo_receive/methods/guest/Cargo.toml