search

ledgerloops / strategy-pit

Testing ground for LedgerLoop strategies
Apache License 2.0
0 stars 0 forks source link

Describe Lift vs Payment #20

Closed michielbdejong closed 2 months ago

michielbdejong commented 2 months ago

Terminology from MyCHIPs:

Distributed algorithm called a "credit lift" consists of three phases:

michielbdejong commented 2 months ago

cycles of debt

michielbdejong commented 2 months ago

originator, relays, referee checks timestamp and signs

michielbdejong commented 2 months ago

"the originator wants to claim its forgiveness from relay2"

michielbdejong commented 2 months ago

From https://rumble.com/v3x4nia-mychips-kyle-storey-masters-thesis-defense.html

Screenshot 2024-04-22 at 09 40 12 Screenshot 2024-04-22 at 09 40 46
michielbdejong commented 2 months ago

I left a comment under the video:

Great presentation, loving it! Two questions about the Model Checking slide at 17:00 though

1) in the center, the edge for Referee "No Lift" -> "Void" is labeled: "Node[i] ? Status V Node[i] Commit / Node[i] ! Void". Shouldn't that be: "Node[i] ? Status V Originator Commit / Node[i] ! Void" instead? I think the Referee can only receive a "Commit" message from the Originator and not from any of the Relays, right?

2) I also don't understand the "True / Referee ! Status" on the Pend state of the originator, why would the originator ask the Referee about a lift that it knows it hasn't yet submitted?

I'll read the thesis text to see if the answer is in there, but just from watching this video, this wasn't clear to me.

michielbdejong commented 2 months ago

https://michielbdejong.com/blog/32.html

https://github.com/ledgerloops/ledgerloops.com/commit/e2a2e9d58ece691249be417ab4b31158f50a8a88