Commit 81478f61 authored by William Mansky's avatar William Mansky

A bit more progress on kvgroup proofs.

This approach almost works, but I'm not sure how to enforce that the recorded location in the data protocol matches the actual location of the data.
parent c5cee6a5
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