#dusk $DUSK @Dusk
La parte del diseño de @Dusk sobre la que estoy más genuinamente incierto es el costo de generación de pruebas a escala.
Generar una prueba zk-SNARK no es gratis: el costo computacional escala con la complejidad del circuito, y, en general, en los sistemas zk los tiempos de prueba para circuitos complejos pueden ir desde menos de un segundo hasta decenas de segundos, dependiendo del hardware y del número de restricciones.
Los contratos inteligentes confidenciales con lógica de cumplimiento incorporada son, casi por definición, circuitos más complejos que una simple transferencia. Eso tiene implicaciones reales: quién asume el costo de generar la prueba (el dispositivo del usuario, un probador delegado, el nodo) y si eso genera presión hacia la centralización cuando solo los probadores bien dotados pueden generar pruebas lo suficientemente rápido como para que sea útil.
Dusk ha iterado sobre esto (PLONK y luego PlonKup con tablas de consulta para acelerar pruebas complejas), lo que muestra que son conscientes del cuello de botella. Si está completamente resuelto para volúmenes de transacciones de nivel institucional es una pregunta abierta y empírica, no algo en lo que yo tomaría en fe.
$DUSK #dusk
La parte del diseño de @Dusk sobre la que estoy más genuinamente incierto es el costo de generación de pruebas a escala.
Generar una prueba zk-SNARK no es gratis: el costo computacional escala con la complejidad del circuito, y, en general, en los sistemas zk los tiempos de prueba para circuitos complejos pueden ir desde menos de un segundo hasta decenas de segundos, dependiendo del hardware y del número de restricciones.
Los contratos inteligentes confidenciales con lógica de cumplimiento incorporada son, casi por definición, circuitos más complejos que una simple transferencia. Eso tiene implicaciones reales: quién asume el costo de generar la prueba (el dispositivo del usuario, un probador delegado, el nodo) y si eso genera presión hacia la centralización cuando solo los probadores bien dotados pueden generar pruebas lo suficientemente rápido como para que sea útil.
Dusk ha iterado sobre esto (PLONK y luego PlonKup con tablas de consulta para acelerar pruebas complejas), lo que muestra que son conscientes del cuello de botella. Si está completamente resuelto para volúmenes de transacciones de nivel institucional es una pregunta abierta y empírica, no algo en lo que yo tomaría en fe.
$DUSK #dusk
