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.

Meeting Attendees

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

Related Specifications and Repositories:

• AnonCreds v1.0:
  • The v1.0 specification is published here: https://hyperledger.github.io/anoncreds-spec/
  • The Working Group uses this GitHub repository to manage the specification: https://github.com/hyperledger/anoncreds-spec
  • The AnonCreds Methods Registry: https://hyperledger.github.io/anoncreds-methods-registry
  • The v1.0 implementation in Rust is here: https://github.com/hyperledger/anoncreds-rs
  • The v1.0 implementation is dependent on this Rust CL Signatures implementation: https://github.com/hyperledger/anoncreds-clsignatures-rs
• AnonCreds v2.0
  • The initial framework for the v2.0 specification repository is here: https://github.com/hyperledger/anoncreds-spec-v2
  • The v2.0 implementation in Rust is here: https://github.com/hyperledger/anoncreds-v2-rs
  • Underlying AnonCreds v2.0 are cryptographic libraries in Hyperledger Labs Agora

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:
  • Stems from the recent "intent to form" announcement from the Linux Foundation and Hyperledger Foundation about LF Decentralized Trust.
  • Proposed Charter: https://docs.google.com/document/d/1UiUv2H_xOHxV_rXfTSlsPu2TdQjgxNlVhU67RtqbMlM/edit?usp=sharing
  • Plan:
    • Create an "anoncreds" repo, similar to this Aries repo.
    • Put into it a "TSC.md" file that lists the TSC members and processes – same as this TSC.md in Aries.
    • Put into it a "MAINTAINERS.md" that points to the Hyperledger "access-control.yaml" file and processes of Maintainers – same as this MAINTAINERS.md in Aries.
    • Put a "MAINTAINERS.md" (like this one) file in all repos that points to the "access-control.yaml" file and to the AnonCreds repo MAINTAINERS.md ^^^^^^
    • Update the charter to match roughly what is in the Aries 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