Commit c5cee6a5 authored by William Mansky's avatar William Mansky

Significant progress on kvgroup proofs.

New protocol seems to allow the needed case analysis for changed locations.
parent 0cebeccf
This diff is collapsed.
Markdown is supported
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