[ ÚLTIMO POST ]
Achronyme: Un Lenguaje para Pruebas Zero-Knowledge
Presentamos Achronyme — escribe codigo legible, genera pruebas criptograficas. Un lenguaje, dos modos de ejecucion, cero ceremonia.
Leer post
Notas de ingeniería: decisiones, compromisos técnicos y aprendizaje.
Soy ingeniero de software. Me apasiona profundizar en el funcionamiento de los sistemas y construir productos que escalan. Este es mi espacio personal donde documento retos técnicos y reflexiones sobre el desarrollo de software.
Presentamos Achronyme — escribe codigo legible, genera pruebas criptograficas. Un lenguaje, dos modos de ejecucion, cero ceremonia.
Cómo Achronyme pre-compila bloques prove en templates de circuitos paramétricos que se serializan en bytecode y se instancian en runtime con valores capturados.