2024-08-26 AnonCreds Working Group Meeting

Summary

  • Proposals to change the Aries project – possible impact on AnonCreds
  • Project status updates – Revocation Manager for ALLOSAUR, ZKPs using hardware keys, BBS, PQ-based revocation, auditing
  • AnonCreds v2 Roadmap
  • Wrap-up: AnonCreds Project Charter
  • Open Discussion

Time: 15:00 Pacific
Call Link: https://zoom.us/j/97954159540?pwd=WWk3WmQ3MVh1SXBYZGVreGl0QllGdz09

Recording:

Notices: 

This specification creating group operates under the Linux Foundation Community Specification License v1.0.

cifi

Hyperledger is committed to creating a safe and welcoming

community for all. For more information

please visit the Hyperledger Code of Conduct.

Meeting Attendees

  • Stephen Curran (BC Gov / Cloud Compass Computing Inc.) <swcurran@cloudcompass.ca>

Related Specifications and Repositories:

Meeting Preliminaries:

  • Welcome and Introductions
  • Announcements:
  • Any updates to the Agenda?

Agenda

  • Proposals to change the Aries project – possible impact on AnonCreds
  • Status updates from current work:
    • Revocation Manager for ALLOSAUR Project – Hyperledger Mentorship project being executed by VictorH2208Project plan
    • MPC part of ALLOSAUR is done – Mike – oblivious transfer and homomorphic – possibly a separate repo – Beaver Triples (based on "Beaver's Trick" from the 90s) – public component and ABC – proving A*B = C – simplifies communications.
  • AnonCreds 2 Roadmap – list
    • BBS
    • ALLOSAUR
    • Decryption for the Verified Encryption – where is it?
    • To Dos from the Issues List
  • Other Status: 
    • ZKPs using Hardware keys
    • PQ-based revocation
      • PQ Revocation key - 2GB uncompressed, 1MB compressed
      • Credential Key is 250MB uncompressed.
      • Working, but now optimizing – 45 seconds on MacBook 8 cores, on cloud server with more cores 4x faster to do the witness generation.  ZKP was 2 seconds. Proof size – 2kb compressed – 33MB uncompressed.
        • PQ is not fast and will change the user experience.
    • BBS Signatures
    • Audit Updates from Mike Lodder: 
      • blsful - audit complete and published in Agora
      • Audit complete: Genaro to be contributed
      • Audit Complete: verifiable-secret-sharing – mostly done changes, and some ripple affects, still needs to be done to Genaro.
        • Allowing participant numbers to be random vs. sequential.  Scenario – MPC participants such as nodes in the Lit Protocols network.
  • AnonCreds Project Charter:
  • PQ Efforts for Revocation
    • PQ equivalent to ALLOSAUR – fast, scalable, unlimited.
    • Research – very fast set membership for both lattice and elliptic curves (need not be pairing friendly).
      • Tweak to bullet proofs.
      • As high as: 2^38 memberships – pre-allocated – but can be a smaller set.
      • Less than 1 sec. to make proof, less than 1 sec. to verify.
  • Open Discussion

To Dos:

Action items