Corda – avatud lähtekoodiga plokiahel äri jaoks

Corda on detsentraliseeritud Ledger, mis on mõeldud erinevate finantsasutuste vaheliste finantskohustuste hoidmiseks, haldamiseks ja sünkroniseerimiseks.

Cordal on piisavalt hea dokumentatsioon koos videoloengutega, mida saab leida siin. Püüan lühidalt selgitada, kuidas Corda seestpoolt töötab.

Vaatame Cordat peamisi omadusi ja selle ainulaadsust teiste plokiahelate seas:

• Cordal ei ole oma krüptovaluutat.
• Corda ei kasuta kaevandamise kontseptsiooni ega Proof-of-Work süsteemi.
• Andmete edastamine toimub ainult tehingu/kontakti osaliste vahel. Siin ei toimu globaalset edastamist kõigile võrgu sõlmedele.
• Ei ole keskset haldurit, kes juhib kõiki tehinguid.
• Corda toetab erinevaid konsensuse mehhanisme.
• Konsensus saavutatakse osaliste vahel eraldi kokkuleppe/kontakti tasandil, mitte kogu süsteemi tasandil.
• Tehing kinnitatakse ainult osaliste poolt, kes on sellega seotud.
• Corda pakub otsest seost formaalse inimeste juriidilise keele ja nutilepingute koodi vahel.

Ledger

Corda mõiste ledger on subjektiivne. Ei ole ühtset keskset andmehoidlat. Selle asemel toetab iga sõlm eraldi andmebaasi tuntud faktide osas.

Näiteks kujutame ette 5 sõlmest koosnevat võrku, kus ring on tuntud sõlme fakt.

Nagu näeme, teavad Ed, Carl ja Demi faktist 3, kuid Alice ja Bob sellest isegi ei kahtle. Corda tagab, et iga sõlme andmebaasis säilivad ühiselt tuntud faktid ning andmed on identsed.

Oleku

Olek on muutmatu objekt, mis esindab fakti, mis on tuttav ühele või sõltumatule sõlmest sellise aja hetkel.

Oleku andmed võivad sisaldada erinevaid teavet, nagu aktsiad, võlakirjad, laenud ja isikutõendavad andmed.

Näiteks esindab järgmine olek IOU - kokkulepe, et Alice peab Bobile summa X:

Fakti elutsükkel ajas on esindatud olekute järjestusega. Kui praegust olekut tuleb ajakohastada, loome uue ja märkame praeguse ajalooliseks (historic).

Tehingud

Tehingud on ettepanekud ledgeri ajakohastamiseks. Need ei edastata kõigile ledgeri osalistele ja on kergesti kätte saadavad ainult neile, kellel on seaduslik õigus neid vaadata ja hallata.

Tehing lisatakse ledgerisse, kui see:

• lepinguliidina
• kõigi vajalike osaliste poolt allkirjastatud
• ei sisalda kahekordset kulutamist (double-spends)

Corda kasutab UTXO (kasutamata tehingu väljund) mudelit, kus iga ledger-i olek on muutumatu.

Tehingu loomisel edastatakse sisendina eelneva tehingu väljundi olek (hashi ja indeksi kaudu).

Tehingu elutsükkel:

• Loomine (Praegu on tehing vaid ettepanek ledger-i uuendamiseks)
• Allkirjade kogumine (Tehingu vajalikud osalised kinnitavad ettepaneku uuendamiseks, lisades tehingule allkirja)
• Tehingu kinnitamine ledger-is

Pärast tehingu lisamist ledger-isse märgitakse sisendolekud ajaloolisteks ja neid ei saa tulevastes tehingutes kasutada.

Lisaks sisend- ja väljundolekutele võib tehing sisaldada:

• Käsklused (tehingu parameeter, mis määrab tehingu sihi)
• Manused (pühade kalender, valuutakonverter)
• Ajaraamid (kehtivusaeg)
• Notar (Notary, erilised võrgu osalised, kes valideerivad tehinguid)

Lepingud

Kui räägime tehingu kehtivusest, siis mõtleme mitte ainult vajalike allkirjade olemasolule, vaid ka kehtivusele lepingu järgi. Igal tehingul on leping, mis aktsepteerib seda ja valideerib sisend- ja väljundolekud. Tehingut peetakse kehtivaks ainult siis, kui kõik selle olekud on kehtivad.

Corda lepingud kirjutatakse igasugustes JVM keeles (näiteks Java, Kotlin).

class CommercialPaper : Contract {
    override fun verify(tx: LedgerTransaction) {
        TODO()
    }
}

Tuleb pärida klassist Leping ja ületada meetod verify. Kui tehing on kehtetu, peavad nad viskama välja erandi.

Tehingute valideerimine peab olema deterministlik, t.j. leping peab alati kas aktsepteerima või tagasi lükkama tehingu. Seetõttu ei tohi tehingu kehtivus sõltuda ajast, juhuslikest numbritest, võrgu sõlme failidest jne.

Cordas käivad lepingud nii-öelda liivakastis — veidi muudetud JVM-is, mis tagab lepingute deterministliku täitmise.

Voogud

Võrgu sõlmede suhtlemise automatiseerimiseks on lisatud voogusid.

Vool on tegemise sammude jada, mis ütleb sõlmele, kuidas konkreetset ledger-i uuendamist teostada, millal on vaja tehingut allkirjastada ja valideerida.

Mõnikord on vajalik oodata tunde või päevi, kuni tehing on kõikide osaliste poolt allkirjastatud ja jõuab pearaamatusse. Mis juhtub, kui tehingus osalev sõlm välja lülitatakse? Voogudel on kontrollpunktid, kuhu voogude seisund salvestatakse sõlme andmebaasi. Kui sõlm ressursside võrgus taastub, jätkab see sealt, kus see jäi.

Konsensus

Tehing peab jõudma 2 konsensusele, et sattuda pearaamatusse: kehtivuse ja ainulaadsuse suhtes.

Tehingu kehtivuse otsuse teevad vaid osalised, kes on otseselt seotud.

Notaari sõlmed kontrollivad tehingu ainulaadsust ja ennetavad kahekordset raiskamist.

Kujutame ette, et Bob'il on 100$ ja ta soovib edastada 80$ Charliele ja 70$ Danielile, kasutades sama sisendseisundit.

Selline trikk ei toimi Corda süsteemis. Kuigi tehing läbib kehtivuse kontrolli, ebaõnnestub ainulaadsuse kontroll.

Kokkuvõte

Corda, mida arendab R3 blockchain-konsortsium, ei ole puhas näide blockchain-tehnoloogia kasutamisest. Corda on piisavalt kitsalt spetsialiseeritud vahend finantsorganisatsioonidele.

Allikas: habr.com