The problem mindfuck solves

hiding code while being able to prove correctness of inputs and outputs (and code)

Challenges we ran into

rust sucks