PechaKucha - Wikipedia

One last walk and goodbye, Montréal, it was a nice #IETF102.
Not hungry after one week at #IETF102
"I'm confused by the confusion" (seriously, the speaker does not really reply to the questions) #IETF102
"Coconuts can be integrated in blockchains" #IETF102

Shehar Bano presenting remotely #Coconut ( 🥥 ), a system to distribute credentials without revealing all the attributes.

#IETF102

Distributed Delegated Mappings (for instance mapping of email address to public key, mapping of IP prefix to a route) https://datatracker.ietf.org/doc/draft-watson-dinrg-delmap/ is built on top of distributed protocol #SCP. It allows secure and distributed mappings.

#IETF102

draft-watson-dinrg-delmap-00 - Delegated Distributed Mappings

Delegated Distributed Mappings (Internet-Draft, 2018)

Formal proof of the #SCP protocol. (proof of Raft with Verdi took 50 klines of proof for 500 lines of code). Protocol proven (but not yet its implementation.) #IETF102
#SCP relies on a vote of validators and the good thing is that you choose your set of validators ("I trust Google and Microsoft", "I trust EFF and La Quadrature du Net"). https://datatracker.ietf.org/doc/draft-mazieres-dinrg-scp/ #decentralization #IETF102
draft-mazieres-dinrg-scp-04 - The Stellar Consensus Protocol (SCP)

The Stellar Consensus Protocol (SCP) (Internet-Draft, 2018)