proto/confio/proofs.pb library