Page History

...

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
    • https://www.hyperledger.org/blog/2019/07/23/rhythm-and-melody-how-hubs-and-agents-rock-together
  • 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)

...