Skip to content
Commit ae58b47f authored by Wei Tang's avatar Wei Tang
Browse files

Channels for sending proofs to and from networking 

Currently they're hard-wired back, but later will be integrated with networking.
parent 0e8f7598
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment