2020-11-12 Meeting notes

Date

Recording

dummyfile.txt

Slides

See the comments section for the link provided by Rafael.

Attendees

Discussion items

Hart Montgomery Rafael Belchior
TimeItemWhoNotes
40Academic Paper Discussion #3Everyone
  • Great discussion lead by Rafael Belchior , slides and recording will be attached.
 20 Private Transactions


Discussed as part of the presentation showed by Rafael Belchior

  • Even the definition of privacy is difficult to nail down
  • PDO, SGX, TEE
  • Traffic analysis: likely impossible to fully guard against (at the end of the day we all
    exist in the same universe and are therefore our actions/existence is observable at a certain scale no matter what)
  • Hiding transaction semantics: We have  a shot here at providing some level of privacy
  • Model proposal - security properties
    • Atomicity
    • Consistency
    • Durability
    • Containment of side effects
    • Liveness (proposed to be added by Hart Montgomery




Action items

  • Peter Somogyvarito create a GitHub issue tracking the moonshot feature mentioned by Claudio: A top level abstraction layer allowing business logic/cross ledger transaction issuance by simply writing a special flavor of SQL/DSL where ledgers can be treated as separate database schemas, tables can be like smart contract states and individual state entries can be like database rows. This is obviously a very ambitious, lofty goal that is most likely impossible to implement in a useful capacity. To observe the latter one just needs to take a look at the failures of most traditional ORM libraries that are out there claiming to abstract away relational database differences (despite with those the differences being mostly just syntax not mechanics)
  • Peter Somogyvari to create a GitHub issue tracking the support of the Cactus API server for TEEs in general, first, specifically Intel SGX