La beta de Mainnet se ve bien aquí. - La competencia de los probadores es increíblemente alta - Probar es efectivamente gratis en Boundless - Todos los probadores son terceros (el equipo de Boundless no está haciendo ninguna prueba, es completamente descentralizado) Boundless es legítimo.

tuve la idea de escribir esto mientras veía la charla de Jigsaw en SBC (), que es un enfoque basado en coSNARK para contratos inteligentes privados.

Cómo construir contratos inteligentes privados a través de: - zkSNARK: El estado son compromisos, un único probador calcula sobre texto plano y publica un zkSNARK, sin descifrado global ni control de acceso. - coSNARK: El estado son compromisos, el cálculo es fuera de la cadena a través de MPC, por lo que ningún servidor único ve el testigo completo, aún sin descifrado global ni control de acceso. - TEE: El estado es texto cifrado fuera y texto plano dentro del enclave, el cálculo y el descifrado controlado por políticas se ejecutan dentro de un enclave atestiguado de forma remota, confiando en la integridad del hardware/atestación. - FHE: El estado es texto cifrado bajo una clave FHE común, cualquiera puede evaluar homomórficamente con verificación en la cadena, el descifrado está controlado por políticas de un comité de umbral (riesgo de colusión). - iO: El estado es texto cifrado y el cálculo es homomórfico, un descifrador ofuscado público impone la política de descifrado sin un titular de clave activo (sin riesgo de colusión).

Es asombroso ver que ahora hay tantas L2 importantes en la etapa 1. El siguiente objetivo al que deberíamos aspirar es, en mi opinión, tiempos de retiro rápidos (<1h), habilitados por sistemas de prueba de validez (también conocidos como ZK). Considero que esto es incluso más importante que la etapa 2. Los tiempos de retiro rápidos son importantes porque esperar una semana para retirar es simplemente demasiado tiempo para las personas, y incluso para el puente basado en intenciones (por ejemplo, ERC-7683), el costo de capital se vuelve demasiado alto si el proveedor de liquidez tiene que esperar una semana. Esto crea grandes incentivos para usar soluciones con supuestos de confianza inaceptables (por ejemplo, multisigs/MPC) que socavan todo el propósito de tener L2 en lugar de L1s completamente independientes. Si podemos reducir los tiempos de retiro nativos a menos de 1h a corto plazo, y 12s a medio plazo, entonces podemos consolidar aún más el L1 de Ethereum como el lugar predeterminado para emitir activos y el centro económico del ecosistema de Ethereum. Para lograr esto, necesitamos alejarnos de los sistemas de prueba optimistas, que inherentemente requieren esperar varios días para retirar. Históricamente, la tecnología de prueba ZK ha sido inmadura y costosa, lo que hizo que las pruebas optimistas fueran la opción inteligente y segura. Pero recientemente, esto está cambiando rápidamente. es un excelente lugar para seguir el progreso de las pruebas ZK-EVM, que han estado mejorando rápidamente. La verificación formal en las pruebas ZK también está avanzando. A principios de este año, propuse una estrategia de sistema de prueba 2 de 3 ZK + OP + TEE que hila la aguja entre seguridad, velocidad y madurez: * 2 de 3 sistemas (ZK, OP) son sin confianza, por lo que ningún actor único (incluido el fabricante de TEE o un atacante de canal lateral) puede romper el sistema de prueba al violar un supuesto de confianza * 2 de 3 sistemas (ZK, TEE) son instantáneos, por lo que obtienes retiros rápidos en el caso normal * 2 de 3 sistemas (TEE, OP) han estado en producción en varios contextos durante años Este es un enfoque; quizás la gente opte por hacer un desempate ZK + ZK + OP, o ZK + ZK + consejo de seguridad. No tengo opiniones fuertes aquí, me importa el objetivo subyacente, que es ser rápido (en el caso normal) y seguro. Con tales sistemas de prueba, el único cuello de botella restante para un asentamiento rápido se convierte en el costo de gas de enviar pruebas en la cadena. Por eso digo a corto plazo una vez por hora: si intentas enviar una prueba ZK de 500k+ gas (o un STARK de 5m gas) mucho más a menudo, añade un alto costo adicional. A largo plazo, podemos resolver esto con agregación: N pruebas de N rollups (más txs de usuarios de protocolos de privacidad) pueden ser reemplazadas por una sola prueba que demuestra la validez de las N pruebas. Esto se vuelve económico de enviar una vez por slot, habilitando el juego final: movimiento nativo casi instantáneo de activos entre L2 a través del L1. Trabajemos juntos para hacer que esto suceda.

consigue a las chicas @chippedsocial 💕

La secuenciación descentralizada es una solución para la resistencia a la censura y la minimización de la confianza. No implica necesariamente un mejor tiempo de actividad. Los rollups pueden mantener un tiempo de actividad extremadamente alto porque tienen infraestructura centralizada. La secuenciación descentralizada (entre partes no confiables) incurre en un riesgo constante de fallo del secuenciador. Si bien la red puede recuperarse de estos fallos más rápidamente (<33 minutos en comparación con @base ayer), la probabilidad de que ocurran fallos es mayor. Hay muchos beneficios en la secuenciación descentralizada, pero no es una solución mágica para todos nuestros problemas.

si estás construyendo con EigenCloud, todavía estás a tiempo 🫡

El cangrejo Rust antes de Depot: ☠️ Después de conectarse a Depot Cache + corredores más rápidos: 🦀💨 Guía completa en 🧵

En 2023, Arbitrum era una cadena FIFO y no tenía un orden de gas prioritario. Con su secuenciador centralizado, Arbitrum era indistinguible de un intercambio centralizado.

Cómo casi derribé Arbitrum - y cómo me radicalizó 🧵