Kadena rilascia un linguaggio di contratto intelligente aggiornato per "blockchain ibride"

"Pact 3.0 in genere rende disponibili le funzionalità che rendono le blockchain ibride una realtà. ... Ora abbiamo il linguaggio smart contract per le blockchain ibride."

Si tratta di Stuart Popejoy, ex responsabile del team blockchain del gigante dell'investment banking JP Morgan e fondatore di una startup multimilionaria specializzata in blockchain chiamata Kadena.

Oggi, Popejoy e il team Kadena hanno rilasciato una nuova versione del loro linguaggio di programmazione nativo, chiamato Pact, progettato per consentire uno sviluppo di smart contract semplice e sicuro sulla blockchain. La terza versione principale del codice, Popejoy sostiene che il set di funzionalità ampliato di Pact 3.0 supporta finalmente l'esecuzione di smart contract cross-blockchain tra reti private e pubbliche.

Attualmente, Kadena ha già costruito una piattaforma blockchain privata chiamata BFT scalabilee verrà lanciatoin ottobredi quest'anno una piattaforma blockchain pubblica chiamata Chainweb.

"Un programmatore è [ora] in grado di scrivere uno smart contract molto semplice in grado di scambiare dati avanti e FORTH tra le parti pubbliche e private di un'applicazione blockchain ibrida senza mai abbandonare la comodità dello smart contract Pact", ha detto Popejoy a CoinDesk.

Più specificamente, l'attuale versione di Pact 3.0 presenta tre set di funzionalità chiave.

Innanzitutto, Pact 3.0 offre un semplice supporto per la verifica dei pagamenti (SPV). Ciò significa che gli sviluppatori possono distribuire ambienti di smart contract su una blockchain Kadena che verifica in modo indipendente le transazioni che avvengono off-chain su altre reti blockchain.

Alcune delle implicazioni immediate di questo strumento, come delineato da Popejoy, includono "la dimostrazione che qualcosa è accaduto su una blockchain pubblica in una blockchain privata, la dimostrazione che qualcosa è accaduto su una blockchain privata in una blockchain pubblica, [e] la dimostrazione che qualcosa è accaduto su qualche altra blockchain [proof-of-work] (ad esempio Bitcoin, Ethereum)."

In secondo luogo, Pact 3.0 introduce una funzionalità denominata "capacità" che aiuta a garantire un'elaborazione sicura e basata sui diritti sulla blockchain.

"Nel senso più generale, una capacità può essere vista come un diritto a fare qualcosa che esiste nei dati", ha spiegato Popejoy.

Un esempio di una capacità che esiste già sulle reti blockchain tradizionali come Bitcoin è l'uso di chiavi private e pubbliche per trasferire token. Possedendo una rappresentazione specifica dei dati, gli utenti sono in grado di accedere ad altre risorse e funzioni come gli atomic swap in un'applicazione di smart contract.

Immutabilità vs aggiornamenti

Infine, Pact 3.0 introduce anche una governance modulare che diversifica il modo in cui gli sviluppatori possono modificare o aggiornare in modo credibile il codice degli smart contract. A differenza della maggior parte degli altri linguaggi per smart contract comeSolidità sulla blockchain Ethereum , Pact non è un linguaggio Turing-completo e non vanta applicazioni decentralizzate immutabili (dApp).

Fin dal suo inizio, qualsiasi dapp creata utilizzando Pact può essere modificata e aggiornata dopo l'esecuzione tramite l'approvazione di ONE o più stakeholder designati.

"Avevamo smart contract aggiornabili fin dall'inizio, ma T era una governance completa perché un modello a firma singola o multipla è fondamentalmente un modello centralizzato", ha sottolineato Popejoy. "Ora, puoi avere una governance controllata da qualsiasi logica tu possa pensare e un esempio ovvio sarebbe una qualche forma di governance basata sul [token holder] come vediamo in qualsiasi tipo di sistema di staking".

La mancanza di immutabilità nelle applicazioni codificate in Pact potrebbe scontrarsi con quella che alcuni considerano una caratteristica distintiva dei contratti intelligenti in generale, ha osservato Popejoy.

"È davvero facile confondere i due, [immutabilità e contratti intelligenti]". Tuttavia, Popejoy sostiene che i contratti intelligenti T riguardano in realtà applicazioni immutabili e auto-eseguibili. Riguardano l'abilitazione di modelli aziendali per funzionare in modo sicuro su una piattaforma blockchain.

Popejoy ha sottolineato:

"Gli smart contract nascono dall'idea che è possibile spostare più modelli aziendali su una blockchain, ma il problema immediato è che devono essere davvero sicuri e non solo sicuri, ma anche semplici... Pensiamo che sia necessario disporre di smart contract semplici, che un utente non tecnico possa comprendere e persino codificare."

Immagine di Stuart Popejoy per gentile concessione di Kadena