Corda — avatud lähtekoodiga plokiahel äriks

Corda on jagatud lepingute raamat erinevate finantsasutuste vaheliste rahaliste kohustuste hoidmiseks, haldamiseks ja sünkroniseerimiseks.

Corda-l on piisavalt hea dokumentatsioon koos videoloengutega, mida saab leida siit. Proovin kokkuvõtlikult selgitada, kuidas Corda seestpoolt töötab.

Vaatame Corda peamisi omadusi ja selle ainulaadsust teiste plokiahelate seas:

• Corda-l puudub oma krüptovaluuta.
• Corda ei kasuta kaevandamise kontseptsiooni ega Proof-of-Work süsteemi.
• Andmete edastamine toimub ainult tehingu/kontakti osaliste vahel. Siin ei ole globaalsed edastamised kõigile võrgu sõlmedele.
• Puudub keskasutaja, kes juhiks kõiki tehinguid.
• Corda toetab erinevaid konsensuse mehhanisme.
• Konsensus saavutatakse osaliste vahel üksikute kokkulepete/lepete tasandil, mitte kogu süsteemi tasandil.
• Tehingu kinnitavad vaid osalised, kes on seotud sellega.
• Corda pakub otsest seost formaalse inimõigusliku keele ja nutilepingute koodi vahel.

The ledger

Corda ledgeri mõisted on subjektiivsed. Ei ole ühtekesksest andmehoidlast. Selle asemel toetab iga sõlm oma andmebaasi tuntud faktide kohta.

Kujutage ette näiteks 5 sõlmega võrku, kus ring tähistab tuntud fakti ühe sõlme jaoks.

Kuidas me näeme, Ed, Carl ja Demi teavad fakti 3, kuid Alice ja Bob ei kahtlustagi selle olemasolu. Corda tagab, et iga sõlme andmebaas sisaldab jagatud fakte ning andmed on ühesugused.

Oleksed

Olek on muutmatu objekt, mis esindab fakti, mis on tuntud ühele või mitmele võrgu sõlmele kindlal ajahetkel.

Oleksed võivad salvestada meelevaldset teavet, näiteks aktsiaid, võlakirju, laene, isikuandmeid.

Näiteks järgnev olek esindab IOU-d — kokkulepet, et Alice peab Bobile summa X:

Fakti eluiga ajas on esitatud olekute järjestikusega. Kui praegust olekut on vaja uuendada, loome uue ja märgime praeguse ajalooliseks (historic).

Tehingud

Tehingud on ettepanekud ledgeri uuendamiseks. Need ei edastata kõigile ledgeri osalejatele ja on kättesaadavad vaid neile võrgu liikmetele, kellel on seaduslik õigus neid vaadata ja hallata.

Tehing lisatakse ledgerisse, kui see:

• on lepinguliselt kehtiv
• on allkirjastatud kõikide vajalike osalejate poolt
• ei sisalda topeltkasutusi (double-spends)

Corda kasutab UTXO (kasutamata tehingu väljundi) mudelit, kus iga ledgeri olek on muutumatu.

Tehingu loomisel edastatakse sisendina eelmise tehingu väljundi olek (haši ja indeksi kaudu).

Tehingu elutsükkel:

• Loomine (Praegu on tehing vaid ettepanek ledgeri uuendamiseks)
• Allkiri kogumine (Tehingu vajalikud osalejad kinnitavad uuendamise ettepaneku, lisades tehingule allkirja)
• Tehingu sidumine ledgerisse

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

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

• Käsklusi (tehingu parameeter, mis näitab tehingu sihti)
• Manused (pühade kalendrid, valuutakonverter)
• Ajaraamid (kehtivusaeg)
• Notaar (Notary, erilised võrgu osalised, valideerivad tehingud)

Lepingud

Kui räägime tehingu kehtivusest, siis mõtleme mitte ainult vajalike allkiri olemasolule, vaid ka lepingu kehtivusele. Iga tehing on seotud lepingu, mis aktsepteerib ja valideerib sisendi ja väljundi olekud. Tehingut peetakse kehtivaks ainult siis, kui kõik selle olekud on kehtivad.

Corda lepingud on kirjutatud igas JVM keeles (näiteks Java, Kotlin).

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

On vajalik pärida klassist Contract ja ületada meetod verify. Juhul, kui tehing on kehtetu, tuleb välja visata erand.

Tehingute valideerimine peab olema deterministlik, st leping peab alati kas aktsepteerima või tagasi lükkama tehingu. Seetõttu ei saa tehingu kehtivus sõltuda ajast, juhuslikest numbritest, sõlmefailidest ja muudest.

Cordas täidetakse lepingud nii kutsutud liivakastis - veidi muudetud JVM-is, mis tagab lepingute deterministliku täitmise.

Vooged

Selleks, et automatiseerida võrgu sõlmede suhtlust, lisati voogusid.

Voog on sammude jada, mis ütleb sõlmele, kuidas teatud ledger-i värskendust teostada, millal tuleb tehing allkirjastada ja valideerida.

Mõnikord kulub tundide või päevade kaupa, kuni kõik osalised tehingu allkirjastavad ja see ledgerisse jõuab. Mis juhtub, kui keegi osalevat sõlme välja lülitab? Voogudel on kontrollpunktid, kuhu voogude olek salvestatakse sõlme andmebaasi. Kui sõlm taastub võrgus, jätkab see sealt, kus jäi.

Konsensus

Et jõuda ledgerisse, peab tehing saavutama 2 konsensust: kehtivuse ja unikaalsuse osas.

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

Notariaalsed sõlmed kontrollivad tehingu unikaalsust, et vältida kahekordset kulutamist.

Kujutage ette, et Bob’il on 100$ ja ta soovib edastada 80$ Charlie’le ja 70$ Dan’ile, kasutades sama sisendolekut.

Sellise triki Corda ei luba. Kuigi tehing läbib kehtivuse kontrolli, kukub unikaalsuse kontroll läbi.

Kokkuvõte

Corda platvorm, mida arendab R3 blockchain-konsortsium, ei ole puhas näide blockchain-tehnoloogia kasutamisest. Corda on piisavalt kitsas spetsialiseeritud tööriist finantsorganisatsioonidele.

Allikas: habr.com