Achronyme 0.1.0

Features publicadas, compatibilidad y evidencia de proving de producción para Achronyme 0.1.0.

Estado: release estable publicado. Core v0.1.0, editor v0.3.0 y el servicio web 0.1.0 estan ligados a los recibos exactos del source indicados abajo.

El release 0.1.0 se construye desde la revisión del core fd07b38e16256e2ed6a8f2b438d340a681c9b0ac. Agrega un modelo de ejecución del host con concurrencia estructurada y autoridad explícita, y cambia la generación de pruebas para requerir una fuente explícita de confianza.

Matriz de versiones

El instalador resuelve el ultimo release publicado del core en GitHub. Una instalacion normal ahora devuelve 0.1.0 y verifica su checksum publicado.

Concurrencia estructurada

• concurrent { ... } crea un scope léxico de tareas.
• spawn llamada(...) crea un hijo poseído por ese scope.
• await tarea, await tarea as outcome y await [a, b] as race hacen explícitos los joins, fallos recuperables y carreras.
• Canales acotados, cancelación cooperativa, diagnósticos y límites del runtime evitan trabajo detached o sin límite.

Consulta Concurrencia e I/O del Host para el contrato del lenguaje y el CLI.

Autoridad explícita del host

Las operaciones de archivo y TCP usan recursos con propietario. Los programas no reciben acceso ambiental para leer, escribir, conectar o escuchar. La autoridad se otorga con flags exactos del CLI o los settings equivalentes de achronyme.toml:

ach --allow-read ./data --allow-connect 127.0.0.1:443 run app.ach

Los efectos del host se rechazan dentro de código prove y circuit. El compilador mantiene el mundo externo fuera del límite determinista de prueba.

Ejecución nativa

ach run soporta el intérprete y LLVM 21 ORC JIT con el selector explícito --engine interpreter|jit|auto. ach aot emite un ejecutable nativo contra el runtime AOT empaquetado. El CI de release cubre fallback al intérprete, JIT, AOT, layouts instalados, límites de recursos y paquetes Linux x86_64/aarch64.

Confianza de proving fail-closed

La generación de pruebas ya no crea llaves locales de forma implícita:

# Solo desarrollo. El resultado no es confiable para producción.
ach --insecure-dev-setup run proof.ach

# Ruta de producción. El store debe coincidir con el circuito optimizado exacto.
ach --trusted-key-dir ./trusted-keys run proof.ach

Los stores BN254 Groth16 de producción ligan la proving key al R1CS, transcript de fase 1, contribuidores de fase 2, beacon público final y evidencia del release. La verificación Groth16 separada para BN254 y BLS12-381 está disponible mediante ach verify. La generación Plonkish y BLS12-381 sigue siendo solo para desarrollo en esta línea.

Consulta Generación de Pruebas para los comandos de usuario y la guía versionada de trusted setup del repositorio core para el workflow completo del operador.

Release del editor

El editor 0.3.0 sigue la revisión final del core y agrega resaltado sintáctico y semántico para concurrencia estructurada, task handles, I/O con propietario y builtins conscientes de capacidades. También incluye activación del lenguaje Circom, diagnósticos respaldados por el parser, hover, completion, símbolos de documento, definiciones, referencias y rename.

Evidencia de publicación de producción

El release cerro cada gate de produccion contra la revision exacta del core:

1. una contribución de fase 2 bajo control independiente;
2. un beacon final público, verificable y comprometido con anterioridad;
3. una llave final que verifique contra el R1CS y fase 1 exactos del release;
4. pruebas correctas snarkjs-a-Achronyme y Achronyme-a-snarkjs;
5. evidencia empaquetada con hashes, tamaños, revisión y métricas exactas.

El dossier publico de ceremonia registra el compromiso inmutable, respuesta del beacon, hashes de artefactos, logs de verificacion y uso medido de recursos.

Consulta el Changelog para el historial completo.