Corda - блокчејн со отворен код за бизнис

Јаже е дистрибуирана книга за складирање, управување и синхронизирање на финансиските обврски помеѓу различни финансиски организации.

Корда има прилично добра документација со видео предавања што може да се најдат тука. Ќе се обидам накратко да опишам како Корда работи внатре.

Ајде да ги погледнеме главните карактеристики на Corda и неговата уникатност меѓу другите блокчејн:

• Корда нема своја криптовалута.
• Корда не го користи концептот на рударство и системот Доказ за работа.
• Преносот на податоци се случува само помеѓу страните на трансакцијата/договорот. Нема глобално емитување до сите мрежни јазли.
• Не постои централен контролер кој управува со сите трансакции.
• Корда поддржува различни механизми за консензус.
• Консензус помеѓу учесниците се постигнува на ниво на поединечен договор/договор, а не на ниво на целиот систем.
• Трансакцијата ја потврдуваат само учесниците поврзани со неа.
• Корда нуди директна врска помеѓу формалниот човечки правен јазик и кодот за паметни договори.

Книгата

Концептот на Леџер во Корда е субјективен. Не постои единствено централно складиште за податоци. Наместо тоа, секој јазол одржува посебна база на податоци со факти кои му се познати.

На пример, замислете мрежа од 5 јазли, каде што кругот е факт познат на јазолот.

Како што можеме да видиме, Ед, Карл и Деми знаат за фактот 3, но Алис и Боб не се ни свесни за тоа. Корда гарантира дека заедничките факти се зачувани во базата на податоци на секој јазол, а податоците ќе бидат идентични.

Држави

Државата е непроменливи објект кој претставува факт познат на еден или повеќе мрежни јазли во одреден момент во времето.

Државите можат да складираат произволни податоци, на пример, акции, обврзници, заеми, информации за идентификација.

На пример, следнава состојба претставува IOU - договор дека Алис му должи на Боб износ од X:

Животниот циклус на еден факт со текот на времето е претставен со низа состојби. Кога е потребно да се ажурира моменталната состојба, создаваме нова и ја означуваме сегашната како историска.

Трансакција

Трансакциите се предлози за ажурирање на книгата. Тие не се емитуваат на сите учесници во книгата и се достапни само за оние учесници во мрежата кои имаат законско право да ги гледаат и управуваат со нив.

Трансакцијата ќе се додаде во книгата ако:

• договорно важно
• потпишан од сите потребни учесници
• не содржи двојно трошење

Корда го користи моделот UTXO (излез на непотрошена трансакција), во кој секоја состојба на книгата е непроменлива.

Кога се креира трансакција, излезната состојба на претходната трансакција (по хаш и индекс) се пренесува на влезот.

Животниот циклус на трансакцијата:

• Создавање (Во моментов, трансакцијата е само предлог за ажурирање на книгата)
• Соберете потписи (задолжителните страни во трансакцијата го одобруваат предлогот за ажурирање со додавање потпис на трансакцијата)
• Обврзете трансакција во книга

Штом трансакцијата ќе се додаде во книгата, влезните состојби се означени како историски и не можат да се користат во идните трансакции.

Покрај влезните и излезните состојби, трансакцијата може да содржи:

• Наредби (параметар на трансакцијата што ја покажува целта на трансакцијата)
• Прилози (календар за празници, конвертор на валута)
• Временски прозорци (период на важност)
• Нотар (Нотар, специјални учесници во мрежата кои ги потврдуваат трансакциите)

Договори

Кога зборуваме за важност на трансакцијата, не мислиме само на присуството на потребните потписи, туку и на договорна важност. Секоја трансакција е поврзана со договор кој ја прифаќа и ги потврдува влезните и излезните состојби. Трансакцијата се смета за валидна само ако сите нејзини состојби се валидни.

Договорите во Корда се напишани на кој било јазик на JVM (на пример, Java, Kotlin).

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

Неопходно е да се наследи од класа Договор и отфрли го методот потврди. Ако трансакцијата е неважечка, ќе се фрли исклучок.

Валидацијата на трансакцијата мора да биде детерминистичка, т.е. договорот секогаш мора или да ја прифати или одбие трансакцијата. Во врска со ова, валидноста на трансакцијата не може да зависи од времето, случајните броеви, датотеките на домаќинот итн.

Во Корда, договорите се извршуваат во таканаречениот песок - малку модифициран JVM кој гарантира детерминистичко извршување на договорите.

Потоци

За да се автоматизира комуникацијата помеѓу мрежните јазли, беа додадени нишки.

Протокот е низа чекори што му кажува на јазолот како да изврши специфично ажурирање на книгата и во кој момент трансакцијата треба да биде потпишана и потврдена.

Понекогаш се потребни часови, денови додека трансакцијата не биде потпишана од сите страни и влезе во книгата. Што се случува ако исклучите јазол што учествува во трансакција? Нишките имаат контролни точки, на кои состојбата на нишката се запишува во базата на податоци на јазолот. Кога некој јазол ќе се врати во мрежата, тој ќе продолжи таму каде што застана.

Консензус

За да влезете во книгата, трансакцијата мора да постигне 2 консензуси: валидност и единственост.

Одлуката за валидноста на трансакцијата ја носат само страните директно вклучени во неа.

Нотарските јазли ја проверуваат трансакцијата за уникатност и спречуваат двојно трошење.

Да замислиме дека Боб има 100 долари и сака да пренесе 80 долари на Чарли и 70 долари на Ден користејќи ја истата влезна состојба.

Корда нема да ви дозволи да извлечете таков трик. Иако трансакцијата ќе ја помине проверката на валидноста, проверката на уникатноста нема да успее.

Заклучок

Платформата Corda, развиена од конзорциумот за блокчејн R3, не е чиста употреба за блокчејн технологијата. Corda е високо специјализирана алатка за финансиски институции.

Извор: www.habr.com