Objetivo
Zero-knowledge (ZK) systems are foundational to modern
privacy-preserving technologies, yet ensuring the correctness of
their increasingly complex implementations remains a major
bottleneck. The high stakes involved---for instance, the 745
million USD in digital assets managed by the Linea blockchain
that relies on such infrastructure---highlight the critical need
for a scalable and reliable solution. Currently, correctness
relies heavily on costly and labor-intensive manual audits, which
do not scale effectively.
CIRCUZZ addresses this gap by commercializing a breakthrough
automated-testing technology derived from the ERC-funded MirandaTesting
project. Originally developed for ZK circuit-processing pipelines, our
approach has since been generalized to ZK virtual machines
(zkVMs). Using metamorphic testing, CIRCUZZ systematically
uncovers critical correctness and security bugs across ZK systems
without manual intervention. The effectiveness of our approach is
already proven: our research prototype discovered more than 30
significant logic bugs in major, previously audited ZK
systems. These findings led to multiple real-world bug bounties,
with all reported issues acknowledged and nearly all fixed by
developers. With the support of key industry partners, including
a leading audit firm, this Proof-of-Concept project will
transform our prototype into a robust, commercial-grade solution
for continuous validation of ZK systems, validate a
testing-as-a-service business model, and prepare the groundwork
for launching a spinout company. CIRCUZZ will thus provide an
essential safety net for the rapidly expanding ZK ecosystem,
accelerating the creation of trustworthy digital infrastructure.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información seguridad informática criptografía
- ciencias sociales economía y empresa gestión y empresas modelo de negocio
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMA PRINCIPAL
Ver todos los proyectos financiados en el marco de este programa
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
HORIZON-ERC-POC - HORIZON ERC Proof of Concept Grants
Ver todos los proyectos financiados en el marco de este régimen de financiación
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
(se abrirá en una nueva ventana) ERC-2026-POC
Ver todos los proyectos financiados en el marco de esta convocatoriaInstitución de acogida
Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.
1040 Wien
Austria
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.