That's great!
There's no client yet that verifies these proofs right?