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
Apr 8, 2020 (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?
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-rsPersistence 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
Aries-Storage
Non-KMS entities
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)
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.
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