Prima che fossero cool: alleanze nella produzione di liquidi

By Bitcoin Rivista - 6 mesi fa - Tempo di lettura: 6 minuti

Prima che fossero cool: alleanze nella produzione di liquidi

Da quando il Bitcoin comunità ha avviato discussioni sull'ottimizzazione dei patti, c'è stato un crescente interesse nel saperne di più sui loro compromessi e sui patti già implementati sul Rete liquida.

Alla luce di questo rinnovato interesse e per incoraggiare ulteriori discussioni, esaminiamo alcune delle attuali offerte di covenant di Liquid, confrontandole con le principali proposte su Bitcoin ed esaminando i rispettivi casi d'uso.

Storia dei patti sui liquidi

I Covenant on Liquid possono essere fatti risalire al dispiegamento della prima sidechain Elements, Alpha. Questa sidechain ha introdotto i codici operativi OP_CHECKSIGFROMSTACK (CSFS) e OP_DETERMINISTICRANDOM insieme a numerosi altri in Elements. Alpha ha anche abilitato versioni fisse dei codici operativi disabilitati all'inizio Bitcoin, come OP_CAT—un codice operativo che molti scelgono di rivisitare nel crescente dialogo sui social media. Questi nuovi codici operativi hanno ulteriormente migliorato l'espressività della versione di Bitcoin Script disponibile in Elements e una prova di concetto Volta Möser-Eyal-Sirer è stato sviluppato utilizzando CSFS per illustrare le nuove possibilità.

Uno degli insegnamenti derivanti dall'implementazione di CSFS è che rende le convenzioni più complesse richiedendo che i dati delle transazioni vengano inseriti nello stack quando si esegue una spesa per convenzioni. Dall'esperienza degli sviluppatori è stato inoltre osservato che con gli accordi CSFS, i dati delle transazioni che compongono l'hash della firma devono essere ricostruiti nello stack, costringendo potenzialmente gli sviluppatori a inviare dati irrilevanti agli input/output delle transazioni a cui sono interessati.

Per semplificare la costruzione del patto, sono stati chiamati più di 30 nuovi codici operativi codici operativi di introspezione sono stati introdotti in Taproot di Liquid upgrade per un approccio più modulare. I codici operativi di introspezione con CSFS, ad esempio, consentono l'ispezione di parti più granulari della transazione durante una spesa inserendola nello stack. Ciò allevia la responsabilità di assemblare dati di transazione parziali tramite il testimone e, quindi, l'hash della firma sullo stack.

Principali proposte di alleanza

Attualmente, il Bitcoin La comunità sta discutendo una lunga lista di potenziali proposte di patti, tra cui SIGHASH_ANYPREVOUT (APO), OP_TXHASH, CSFS, OP_CAT, OP_TLUV, il codice operativo MATT OP_CHECKCONTRACTVERIFY (CCV), OP_VAULT e OP_CHECKTEMPLATEVERIFY (CTV). Semplicità, un linguaggio di scripting di prossima generazione che potrebbe implementare funzionalità simili a molti covenant di livello inferiore, rappresenta anche un potenziale percorso per Bitcoin (lo rivisiteremo più tardi).

Si è parlato molto del codice operativo VAULT, che è stato creato per rispondere alla necessità di metodi di protezione più semplici bitcoin per gli utenti. Questo codice operativo consentirebbe di bloccare le monete in un indirizzo che può essere speso solo verso due indirizzi: un portafoglio caldo dopo un timelock o immediatamente un portafoglio freddo. Sono stati proposti molti altri schemi varianti, ma dipendono prima dall'adozione del CTV.

CTV è un codice operativo che legge un hash dallo stack e lo confronta con un hash di un sottoinsieme specificato di dati della transazione di spesa. La sua flessibilità promette di abilitare una serie diversificata di applicazioni tra cui, ma non solo: controllo della congestione, casseforti e pool di pagamento rudimentali.

Oltre ai codici operativi, ci sono state proposte di sospiri per abilitare le alleanze. Le due proposte più popolari per questo scopo sono APO e SIGHASH_GROUP. APO è un'evoluzione del codice operativo SIGHASH_NOINPUT, ampiamente riconosciuto come prerequisito per l'implementazione anche. Uno dei tanti miglioramenti possibili con eltoo è l'eliminazione del meccanismo di penalità che costringe l'altra parte a rinunciare ai fondi quando trasmette un canale con uno stato obsoleto. Ciò consente una rete Lightning più intuitiva ed efficiente.

Raggiungere funzionalità simili con i codici operativi liquidi

Sebbene Liquid non abbia i codici operativi CTV e VAULT, ha CSFS e CAT per i patti. Utilizzando questi codici operativi definiti in modo più ristretto con i codici operativi di introspezione sopra menzionati, gli sviluppatori hanno aperto nuove possibilità finanziarie con funzionalità simili a CTV e VAULT per aumentare la sidechain.

Ad esempio, Burak, uno sviluppatore esperto di Liquid e creatore del protocollo layer-2 Ark, ha dimostrato un emulazione di VAULT utilizzando i codici operativi Liquid Covenant in una discussione con James O'Beirne su X.

Allo stesso modo, un modo per ottenere la funzionalità APO è stato reso possibile con CSFS. Questo dimostrazione utilizzava vari codici operativi che avrebbero abilitato protocolli di livello 2 come eltoo su Liquid oggi, ma soffre di una maggiore complessità e di una dimensione della transazione maggiore rispetto all'utilizzo proposto del patto di tipo APO. Inoltre, la costruzione non si applica alle transazioni Taproot, il che introdurrebbe una propria forma di complessità aggiuntiva.

Codici operativi liquidi in azione

Molte applicazioni hanno già sfruttato i codici operativi del patto su Liquid. Steven Roose, un sostenitore del patto che recentemente definito una specifica per OP_TXHASH precedentemente ideato, ha sviluppato un applicazione per obbligazioni fedeltà su Liquid. Questo patto è posto su fondi che verrebbero bruciati se nel testimone venisse presentata la prova di una doppia spesa.

Fuji SoldiFuji USD (FUSD), una stablecoin algoritmica sviluppata da Vulpem Ventures è un altro esempio degno di nota. Si basa esclusivamente sulle informazioni dell'oracolo per mantenere il suo ancoraggio e può essere emesso in modo decentralizzato. Utilizza a combinazione di verifiche delle firme e codici operativi di introspezione per raggiungere questo obiettivo, e la parte più importante è che è tutto verificabile sulla catena.

Altre applicazioni dei covenant su Liquid includono contratti di opzione e prestiti basati su beni riservati. Il team di ricerca Blockstream ha rilasciato un whitepaper l'anno scorso (vedi allegato post sul blog) sul primo, spiegando come tale contratto di opzione potrebbe essere costruito utilizzando la nuova serie di codici operativi introspettivi. Questi nuovi codici operativi consentono agli utenti di creare token che rappresentano entrambi i lati di un contratto di opzione call coperto e di vendere la posizione opposta che desiderano assumere. I contratti stipulati in questo modo supportano anche esecuzioni parziali, il che significa che l'utente che ha creato il contratto può vendere posizioni che rappresentano un multiplo dell'importo minimo specificato dall'utente dell'asset collaterale, chiamato "dimensione del contratto".

Perché non su Liquid First?

Il Bitcoin L'ecosistema continua ad avere un sano dibattito sui codici operativi del patto, Liquid offre il proprio set di strumenti, mirando a obiettivi simili ma con implementazioni distinte. Man mano che il dialogo si evolve, sarà intrigante assistere all'interazione tra i due Bitcoinle proposte native di Liquid e le caratteristiche già concrete e vive di patti ed emulazione di Bitcoin proposte di patti implementate utilizzando Elements Script.

Un'altra nuova tecnologia all'orizzonte è Semplicità, un linguaggio di programmazione verificabile per blockchain. Il linguaggio Simplicity è definito da operazioni con semantica molto ristretta che possono creare programmi espressivi se composti insieme. Il linguaggio è anche verificabile, il che significa che è possibile stabilire metodi per dimostrare matematicamente le asserzioni fatte sui programmi Simplicity.

La natura espressiva di Simplicity consente di trasferire senza problemi i codici operativi covenant di Script, garantendo maggiore affidabilità e meno comportamenti imprevisti. Bitcoin ricercatore Sanket Kanjalkar ha già fatto questo lavoro per CTV. Utilizzando gergo, più leggibile Bitcoinlinguaggio di programmazione incentrato sulla semplicità, è stato in grado di replicare la semantica in una prova di concetto praticabile e disponibile per chiunque possa provarla oggi.

Bitcoin gli sviluppatori avranno presto l'opportunità di utilizzare s-lang in un ambiente reale grazie all'integrazione di Simplicity da parte di Liquid, prevista per il secondo trimestre del 2. s-lang porterà la costruzione di applicazioni più complesse su Liquid, come vault e delega. La bozza di PR è disponibile per la revisione al seguente indirizzo link.

Con un lunga storia di Liquid come uno dei primi ad adottare idee che sono state successivamente trasferite Bitcoin, un suggerimento per coloro che desiderano dimostrare la fattibilità delle proprie proposte è di provarlo dal vivo su Liquid per convalidare prima le idee, poiché è stato dimostrato che più codici operativi relativi ai covenant sono emulabili utilizzando i codici operativi Liquid covenant e introspezione esistenti.

Quindi, la prossima volta che qualcuno suggerisce un nuovo patto, vale la pena chiedersi: perché non provarlo prima su Liquid?

Questo è un ospite post da Randy Naar. Le opinioni espresse sono interamente proprie e non riflettono necessariamente quelle di BTC Inc o Bitcoin Rivista.

Fonte originale: Bitcoin Magazine