- HGF wrap-up:
- People have a lot of questions about crypto in general.
- People want greater access to people that know crypto in general.
- "Crypto AMAs" are very popular.
- Incorporating feedback for discussion with David and Ry.
- This veered into our next agenda item: where to put code contributions that aren't pure crypto protocols, but live directly on top of them.
- "If something is higher-level protocol agnostic, it should probably be in Ursa. If it incorporates a higher-level protocol, it should be Aries." Generally, communication implies higher-level protocol.
- We should coordinate our strategy with Aries.
- Accumulator Stuff
- "Revocation registry"
- Government ID card, privilege to drive.
- DMV can revoke (e.g. DUI). Causes an event to update registry.
- An outside observer should not be able to identify users of add/remove operations. Better if adds/removes are indistinguishable, and numbers hidden too. Differential privacy-style guarantees.
- Current approach: optimized for proof computation.
- Maybe can take a hit on efficiency for privacy?
- Mike: biggest problem is witness update. Have to download "deltas."
- Some papers that aim to improve: https://eprint.iacr.org/2021/638
...