Searching protocol for "provable computation"
Make Rust code provable with ZK proofs
Classify problem hardness and design algorithms.