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

Корда е разпределен Ledger за съхранение, управление и синхронизиране на финансови задължения между различни финансови организации.

Corda има доста добра документация с видео лекции, които могат да бъдат намерени тук. Ще се опитам да опиша накратко как работи Corda вътре.

Нека да разгледаме основните характеристики на Corda и нейната уникалност сред другите блокчейни:

• Corda няма собствена криптовалута.
• Corda не използва концепцията за копаене и системата Proof-of-Work.
• Прехвърлянето на данни се извършва само между страните по сделката/договора. Няма глобално излъчване към всички мрежови възли.
• Няма централен контролер, който да управлява всички транзакции.
• Corda поддържа различни механизми за консенсус.
• Консенсус между участниците се постига на ниво индивидуално споразумение/договор, а не на ниво цялата система.
• Транзакция се потвърждава само от участниците, свързани с нея.
• Corda предлага директна връзка между официалния човешки правен език и кода на интелигентния договор.

Книгата

Концепцията за книга в Corda е субективна. Няма единно централно хранилище на данни. Вместо това всеки възел поддържа отделна база данни с факти, които са му известни.

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

Както виждаме, Ед, Карл и Деми знаят за факт 3, но Алис и Боб дори не са наясно с него. Corda гарантира, че общите факти се съхраняват в базата данни на всеки възел и данните ще бъдат идентични.

Държави

Държавата е неизменен обект, който представлява факт, известен на един или повече мрежови възли в определен момент от време.

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

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

Жизненият цикъл на даден факт във времето е представен от последователност от състояния. Когато е необходимо да се актуализира текущото състояние, ние създаваме ново и маркираме текущото като историческо.

сделки

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

Транзакция ще бъде добавена към книгата, ако:

• договорно валиден
• подписан от всички необходими участници
• не съдържа двойни разходи

Corda използва модела UTXO (изход за неизразходвана транзакция), в който всяко състояние на счетоводна книга е неизменно.

Когато се създаде транзакция, изходното състояние на предишната транзакция (по хеш и индекс) се прехвърля към входа.

Жизнен цикъл на транзакцията:

• Създаване (В момента транзакцията е само предложение за актуализиране на счетоводната книга)
• Събиране на подписи (Задължителните страни по транзакцията одобряват предложението за актуализация чрез добавяне на подпис към транзакцията)
• Завършете транзакцията в книгата

След като транзакция бъде добавена към книгата, входните състояния се маркират като исторически и не могат да се използват в бъдещи транзакции.

В допълнение към входните и изходните състояния, транзакцията може да съдържа:

• Команди (параметър на транзакцията, указващ целта на транзакцията)
• Прикачени файлове (празничен календар, валутен конвертор)
• Времеви прозорци (период на валидност)
• Нотариус (нотариус, специални участници в мрежата, валидиращи транзакции)

договори

Когато говорим за валидност на сделката, имаме предвид не само наличието на необходимите подписи, но и договорната валидност. Всяка транзакция е свързана с договор, който я приема и валидира входните и изходните състояния. Една транзакция се счита за валидна само ако всички нейни състояния са валидни.

Договорите в Corda са написани на всеки JVM език (например Java, Kotlin).

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

Необходимо е да се наследи от клас Договор и замени метода провери. Ако транзакцията е невалидна, ще бъде хвърлено изключение.

Валидирането на транзакцията трябва да бъде детерминистично, т.е. договорът винаги трябва или да приеме, или да отхвърли сделката. Във връзка с това валидността на транзакцията не може да зависи от време, произволни числа, хост файлове и др.

В Corda договорите се изпълняват в така наречената пясъчна кутия - леко модифицирана JVM, която гарантира детерминирано изпълнение на договорите.

Потоци

За автоматизиране на комуникацията между мрежовите възли бяха добавени нишки.

Потокът е поредица от стъпки, които казват на възел как да извърши конкретна актуализация на счетоводната книга и в кой момент транзакцията трябва да бъде подписана и валидирана.

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

Консенсус

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

Решението за валидността на сделката се взема само от страните, пряко участващи в нея.

Нотариалните възли проверяват транзакцията за уникалност и предотвратяват двойното харчене.

Нека си представим, че Боб има $100 и иска да прехвърли $80 на Чарли и $70 на Дан, използвайки същото състояние на въвеждане.

Corda няма да ви позволи да направите такъв трик. Въпреки че транзакцията ще премине проверката за валидност, проверката за уникалност няма да успее.

Заключение

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

Източник: www.habr.com