2020-04-08-A Aries Working Group Call (AMER morning)
Summary:
- Work updates
- Future meetings
- Formal verification by Sven Hammann
Note: This call is Recorded. Recordings posted at the bottom of the page.
Date
(7AM Los Angeles, 10AM New York, 3PM London, 4PM CET, 18H Moscow)
Remember the Hyperledger Code of Conduct
Anti-Trust Policy:
Linux Foundation meetings involve participation by industry competitors, and it is the intention of the Linux Foundation to conduct all of its activities in accordance with applicable antitrust and competition laws. It is therefore extremely important that attendees adhere to meeting agendas, and be aware of, and not participate in any activities that are prohibited under applicable US state, federal or foreign antitrust and competition laws.
Examples of types of actions that are prohibited at Linux Foundation meetings and in connection with Linux Foundation activities are described in the Linux Foundation Antitrust Policy available at http://www.linuxfoundation.org/antitrust-policy. If you have questions about these matters, please contact your company counsel, or if you are a member of the Linux Foundation, feel free to contact Andrew Updegrove of the firm of Gesmer Updegrove LLP, which provides legal counsel to the Linux Foundation.
Attendees
- Name (Employer) <email>
- Richard Esplin (Evernym) <richard.esplin@evernym.com>
- Sven Hammann (ETH Zurich) <sven.hammann.90@gmail.com>
- Mike Richardson (EuroLedger) <emerysolutions@yahoo@co.uk>
- Stephen Curran (Cloud Compass Computing Inc.) <swcurran@cloudcompass.ca>
- Sam Curren (Independent) <telegramsam@gmail.com>
- Ajay Jadhav (AyanWorks) <ajay@ayanworks.com>
Welcome / Introductions
Announcements
- IIW April 28-30
Related Calls
- Previous Aries Working Group calls
- DIF DIDComm WG Call: Rolling Agenda.
- Identity Implementors Working Group call
- Main place to get project updates, release status, and announcements.
Release Status and Work Updates
- Aries Protocol Test Suite
- Issue, credential, and proof tests are merged.
- Aries Shared:
- indy-vdr (Andrew Whitehead) https://github.com/hyperledger/indy-vdr
- Remaining work: Design doc, FFI, testing, CI / CD
- As an Aries interface becomes standardized, will add that API layer
- Split out an Indy-Util to contain common components between Indy-VDR and Indy-Credx
- Need to check that duplicate copies of the util library doesn't cause trouble.
- GitHub actions runs unit tests and basic integration tests
- VON Network browser moved to Indy-VDR instead of LibIndy (no wallet needed because it is stateless)
- Andrew working a large refactor in a PR
- Put rich shemas behind a feature flag?
- indy-credx and aries-credx
- https://github.com/sovrin-foundation/aries-credx-framework-rs
- 6 most common attribute encodings
- Does not yet have anoncreds 1 attribute encoding.
- https://github.com/andrewwhitehead/indy-credx
- Can make a non-revocable credential and create proofs.
- Tagging will be moved to the KMS.
- Mike will be working on revocation registry 2.0
- Integrating upgraded PyO3 library
- Create an Indy-Util for API types and other utility functions?
- https://github.com/sovrin-foundation/aries-credx-framework-rs
- Aries-Shared-Util
- Pack / Unpack
- Not started yet
- Aries-KMS
- Mike working on documentation and architecture as an Aries RFC (KMS architecture) and Ursa RFC (API)
- PR is submitted: https://github.com/hyperledger/aries-rfcs/pull/440
- Mike and Cam's aries-core-rs → aries-kms-mayaguez
https://github.com/sovrin-foundation/aries-kms-rs- Persistence work allows plugging in any database engine.
- Focus is using an external enclave.
- Indy wallet crate might move to start another aries-kms implementation → aries-kms-vostok
- Mike working on documentation and architecture as an Aries RFC (KMS architecture) and Ursa RFC (API)
- Aries-Storage
- Non-KMS entities
- indy-vdr (Andrew Whitehead) https://github.com/hyperledger/indy-vdr
- Aries-CloudAgent-Python (bc.gov)
- Release 0.4.5 is on PyPi.
- Revocation support has merged into master and is likely to included in the next release. Some smoothing of the edges happening.
- Note: uses anoncreds 1.0 (hence, tails files) and so will be constrained in use cases to those with small numbers of credentials (e.g. ~25k per RevReg.)
- Aries-Framework-Go (Troy) #aries-go
- Implementing the Out-Of-Band protocol
- Implementing issue-credential and present-proof protocols
- Aries-SDK-Ruby (Jack)
- Added DID/Verkey sign_and_submit to aries_sdk_ruby and published new gem (0.0.8)
- Created aries-rails-docker experiment that support Rails 4 with Indy 1.8.1 on Heroku & Dokku
- Aries-Framework-DotNet (Tomislav)
- Release last week for Aries compatibility with ACApy and LibVCX (RFC 0094)
- Aries-StaticAgent-Python
- Aries-Toolbox
- Added basic message admin
- Working on a getting started video
- Aries-SDK-Java
- Aries-Framework-JavaScript
- Started regular meetings: Framework JS Meetings
- Current focus is on mediator use case (NodeJS)
- Rich Schemas and W3C Verifiable Credentials (Brent & Ken)
- Aries-MobileAgent-Xamarin
- Evolution of the open source mobile agent (Mattr Global's OSMA)
- https://github.com/hyperledger/aries-mobileagent-xamarin
- Ursa
- 0.4.0 scheduled for late March
- Improved hash to curve algorithm
- Updates to AMCL wrapper
- To replace libsodium, need to have a replacement for the anoncrypt / authcrypt sealed box for pack / unpack.
- Can be done in Ursa with two steps, but might add as a single function call.
- 0.4.0 scheduled for late March
RFC Progress
Other Business
Future of this meeting
- We recognize as a community that each of us needs to adapt to current global events: improving the upstream open source libraries is likely to be slower.
- No apology is needed if people take longer to respond to things.
- Richard's role changed, so we need a change in host.
- Fewer meetings and more async collaboration?
Formal protocol verification by Sven Hammann
https://docs.google.com/presentation/d/1qFYNhenEQvKlvXixUhJ7EQcdrG8NWgcuFQl0NXw11hA/edit?usp=sharing
Future Topics
- Next Meeting (April 22)
- IOT best practices by Robert Mitwicki (cc Adam Burdett , Lohan Spies )
- Future of this meeting
- Other:
- Where should we document interoperability results (AIP 1.0)? A page in this wiki space?
- Hubs vs Agents
- Status and future of wallet query language
- DID Resolution W3C and Sam's concerns: https://github.com/hyperledger/aries-rfcs/issues/130
- Architecture of Aries Verifiable Credentials Proof Formats (Mike Lodder)
Action items
Call Recording