kobigurk

Prueba del Código de Claude: ejecutar CC dentro de un TEE y requerir que todos los commits sean firmados por una clave generada internamente, demostrando que no se han escrito líneas humanas

¡Se ha publicado el video de mi charla en zksummit sobre Ligerito!

Se trata del trabajo de @AndrijaNovakov6 y @GuilleAngeris que introduce un esquema de compromiso polinómico pequeño y concretamente rápido.

Desde entonces, ha sucedido algo divertido —

1/3

¿Alguien está tratando de hacer transformaciones de imagen demostrables como en https://eprint.iacr.org/2024/1066 en zkVMs de prueba rápida?

Es uno de los casos en los que pasará mucho tiempo hasta que necesites comprimirlo para una verificación rápida, si es que lo necesitas.

¿Proveedores ZK en móviles?

algunas reflexiones sobre lo que necesita cambiar para mantener las garantías de seguridad que tanto nos cuesta obtener

resumen - al menos, la cadena de suministro de implementación debería ser mejor

https://www.kobi.one/The-Lies-Our-Provers-Tell-Us-1f32d692802180358ae6c14fd9d09127

Estos HIs no predicen el mejor siguiente token a usar basado en su entrenamiento, indicaciones y memoria, tan raro