Example of Bitcoin contract for use with Bitcoin Elftrace.
Contract input: u32.
Contract output: 1 if input is non-trivial factor of 901, 0 otherwise.
Compile:
cargo build --releaseResulting binary found in target/riscv32i-unknown-none-elf/release/factors-rs.