Las actualizaciones de Satoshi: sBTC de autocustodia.

Descripción general de los avances técnicos:

Acuñación de autocustodia: Un activo programable de Bitcoin idealmente requeriría que cualquier transacción que pudiera mover el $BTC subyacente de un poseedor de Bitcoin deba ser firmada por él, eliminando así cualquier riesgo de custodia. Como mostraremos más adelante, utilizando una combinación de pruebas de conocimiento cero, HTLCs y el hecho de que los nodos de Stacks tienen acceso al estado de Bitcoin (y por lo tanto pueden verificar independientemente la existencia de cualquier transacción de Bitcoin dada), de hecho es posible diseñar esto en sBTC.

Se debe tener especial cuidado cuando las transferencias ocurren a otros usuarios o en un contrato inteligente: cuando se transfiere a otro usuario de Stacks, la custodia del $BTC subyacente debe actualizarse en consecuencia; mientras que cuando se implementa en un contrato inteligente, la propiedad se traslada a un conjunto de firmantes descentralizado por defecto. Se utiliza una nueva estructura de datos, llamada Redemption DAG, para gestionar y rastrear todos estos cambios de estado en la Stacks Layer 2.

Post-condiciones en el Bitcoin subyacente: Cuando el sBTC de autocustodia se transfiere a un contrato inteligente, el valor predeterminado es que el $BTC subyacente sea mantenido por el conjunto de firmantes de sBTC. Si bien esto es adecuado para muchas situaciones hoy en día, ciertos casos de uso podrían desear más control sobre el $BTC subyacente y podemos habilitar esto. La idea de alto nivel es que, al igual que hay post-condiciones para las transacciones de Stacks, podemos introducir post-condiciones que rijan la custodia del Bitcoin subyacente. Por ejemplo, una aplicación de préstamos podría especificar (en su contrato de Clarity) que, tras la liquidación, el $BTC se liberará a una dirección de bitcoin en particular. Esto solo es posible porque Stacks tiene acceso completo al estado de Bitcoin y está estrechamente integrado con la Bitcoin Layer 1.