#dusk $DUSK @Dusk
El SMST de Zedger: Quizás la privacidad para los valores necesita primero un sistema contable

He estado mirando a Zedger desde un ángulo ligeramente diferente. La mayoría de los modelos de privacidad preguntan cómo ocultar una cuenta o una transacción. Pero en el caso de los valores hay otro problema: la titularidad no es solo un número. Cambia con el tiempo, los derechos de transferencia, los derechos de voto, los dividendos y el estado de aprobación.

Por eso me llamó la atención el Sparse Merkle-Segment Trie. El SMST combina un Sparse Merkle Tree con un Segment Tree, permitiendo que Zedger se comprometa con el estado de la cuenta mientras mantiene diferentes categorías de saldo dentro de la estructura. El diseño puede rastrear saldos máximos, transferibles, con derecho a voto y con derecho a dividendos sin poner toda la historia de la cuenta en exhibición pública.

He visto otros modelos de cuentas con privacidad, como BlockMaze, que se enfocan mucho en ocultar saldos y las relaciones emisor-receptor mediante zk-SNARKs. Eso es útil para pagos privados, pero los valores corporativos crean un problema de datos distinto. A menudo necesitas demostrar que una transferencia está permitida, no solo probar que el valor se movió.

Aquí es donde Zedger me parece más deliberado. Su árbol de lista blanca y la estructura de memoria de la cuenta están vinculados a la máquina de estados, de modo que el cumplimiento no sea un panel externo que verifica transacciones después de los hechos.

Sigo teniendo cautela sobre la complejidad. Cada campo de estado adicional y cada regla de prueba agregan carga de ingeniería y verificación.

Pero la pregunta interesante no es si el SMST oculta saldos. Es si un modelo criptográfico de cuenta puede preservar las realidades enmarañadas de la titularidad de los valores sin convertir el libro mayor en una base de datos pública de accionistas.