Corda – open source-blockkedja för företag

Corda är en distribuerad Ledger för lagring, hantering och synkronisering av finansiella förpliktelser mellan olika finansiella organisationer.

Corda har tillräckligt bra dokumentation med video-föreläsningar som går att hitta här. Jag ska försöka kort beskriva hur Corda fungerar internt.

Låt oss titta på de huvudsakliga egenskaperna hos Corda och dess unikhet bland andra blockkedjor:

• Corda har ingen egen kryptovaluta.
• Corda använder inte konceptet med mining och Proof-of-Work-system.
• Dataöverföring sker endast mellan deltagarna i transaktionen/kontraktet. Det finns ingen global broadcasting till alla noder i nätverket.
• Det finns ingen central controller som styr alla transaktioner.
• Corda stödjer olika konsensusmekanismer.
• Konsensus nås mellan deltagarna på nivån av enskild överenskommelse/kontrakt, snarare än på systemets nivå.
• Transaktionen bekräftas endast av de deltagare som berörs av den.
• Corda erbjuder en direkt koppling mellan formellt mänskligt juridiskt språk och kod av smarta kontrakt.

Ledger

Begreppet ledger i Corda är subjektivt. Det finns inget enhetligt centralt datalager. Istället stödjer varje nod en separat databas av kända fakta.

Tänk dig till exempel ett nätverk med 5 noder, där cirkeln är ett faktum som är känt för noden.

Som vi ser vet Ed, Carl och Demi om faktum 3, medan Alice och Bob inte ens misstänker det. Corda garanterar att gemensamma fakta bevaras i varje nods databas, och att data är identiska.

Tillstånd

Ett tillstånd är en oföränderlig objekt som representerar ett faktum som är känt för en eller flera noder i nätverket vid en viss tidpunkt.

Tillstånd kan lagra godtycklig information, som aktier, obligationer, lån och identifikationsinformation.

Till exempel representerar följande tillstånd ett IOU – en överenskommelse om att Alice är skyldig Bob beloppet X:

Livscykeln för ett faktum över tid representeras av en sekvens av tillstånd. När det är nödvändigt att uppdatera det aktuella tillståndet, skapar vi ett nytt, och det aktuella märks som historiskt.

Transaktioner

Transaktioner är förslag för att uppdatera ledgern. De sänds inte till alla deltagare i ledgern och är tillgängliga endast för de nätverksdeltagare som har laglig rätt att se och hantera dem.

En transaktion kommer att läggas till i ledgern om den är:

• kontraktsmässigt giltig
• undertecknad av alla nödvändiga deltagare
• innehåller inga dubbla spenderingar (double-spends)

Corda använder UTXO-modellen (unspent transaction output), där varje tillstånd av ledger är oföränderligt.

Vid skapande överförs previous transactions output state (genom hash och index) som input till transaktionen.

Livscykeln för en transaktion:

• Skapande (just nu är transaktionen bara ett förslag till en uppdatering av ledger)
• Samla in underskrifter (de nödvändiga deltagarna godkänner förslaget till uppdatering genom att lägga till sin underskrift på transaktionen)
• Commit av transaktionen till ledger

Efter att transaktionen har lagts till i ledger, markeras ingående tillstånd som historiska och kan inte användas i framtida transaktioner.

Utöver ingående och utgående tillstånd kan transaktionen innehålla:

• Kommandon (transaktionsparameter som anger målet för transaktionen)
• Bifogningar (kalender för helgdagar, valutasystem)
• Tidsfönster (aktualitetsperiod)
• Notarius (Notary, särskilda deltagare i nätverket som validerar transaktioner)

Kontrakt

När vi talar om transaktionens giltighet, avser vi inte bara att nödvändiga underskrifter finns, utan också giltighet enligt kontrakt. Varje transaktion är kopplad till ett kontrakt som accepterar och validerar ingående och utgående tillstånd. Transaktionen anses vara giltig endast om alla dess tillstånd är giltiga.

Kontrakt i Corda kan skrivas på valfritt JVM-språk (t.ex. Java, Kotlin).

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

Måste ärva från klassen Contract och skriva över metoden — körning av tester av den resulterande konfigurationen med hjälp av. Vid ogiltighet av transaktionen ska ett undantag kastas.

Valideringen av transaktioner måste vara deterministisk, dvs. kontraktet ska alltid antingen acceptera eller avvisa transaktionen. Därför kan transaktionens giltighet inte bero på tid, slumpmässiga tal, nodens filer i nätverket, osv.

I Corda körs kontrakt i en så kallad sandlåda - en något modifierad JVM som garanterar deterministisk körning av kontrakt.

Trådar

För att automatisera kommunikationen mellan nätverksnoder har flöden lagts till.

Ett flöde är en sekvens av steg som instruerar en nod hur man utför en specifik uppdatering av ledger, när det är dags att skriva under och validera transaktionen.

Ibland tar det timmar eller dagar för en transaktion att signeras av alla parter och hamna i ledger. Vad händer om noden som deltar i transaktionen stängs av? Strömmar har kontrollpunkter där strömmens tillstånd sparas i nodens databas. Vid återställning av noden i nätverket fortsätter den från där den slutade.

Konsensus

För att hamna i ledger måste transaktionen uppnå 2 konsensus: för giltighet och för unikt.

Beslutet om huruvida en transaktion är giltig fattas endast av de parter som är direkt involverade i den.

Notarie-noder kontrollerar transaktionen för unikhet och förhindrar dubbelutgifter.

Låt oss säga att Bob har 100$ och han vill överföra 80$ till Charlie och 70$ till Dan, med hjälp av samma ingångstillstånd.

En sådan trick är Corda inte kapabel till. Även om transaktionen klarar giltighetskontrollen, kommer unikhetskontrollen att misslyckas.

Slutsats

Corda-plattformen, utvecklad av blockchain-konsortiet R3, är inte ett rent exempel på användning av blockchain-teknologi. Corda är ett tillräckligt specialiserat verktyg för finansorganisationer.

Källa: habr.com