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

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

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

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

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

Ledger

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

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

Както виждаме, Ed, Carl и Demi знаят за факт 3, докато Alice и Bob дори не подозират за него. Corda гарантира запазването на общите факти в базата на всеки възел, като данните ще бъдат идентични.

Състояния

Състояние — това е неизменяем обект, представляващ факт, известен на един или няколко възла в мрежата в определен момент от времето.

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

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

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

Транзакции

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

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

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

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

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

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

• Създаване (В момента транзакцията е само предложение за обновление на ledger-а)
• Събиране на подписи (Необходимите участници на транзакцията одобряват предложението за обновление, като добавят подпис към транзакцията)
• Комитиране на транзакцията в ledger

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

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

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

Контракти

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

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

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

Необходимо е да се наследите от класа Contract и да презапишете метода verify. В случай на невалидна транзакция ще се хвърли изключение.

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

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

Потокове

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

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

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

Консенсус

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

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

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

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

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

Заключение

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

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