...
Formal verification by Sven HammanHammann
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)
...