A Layered Certifying Compiler Architecture
October 2025 — Jacco Krijnen, Wouter Swierstra, Manuel Chakravarty, Joris Dral, Gabriele Keller
FUNARCH '25
Investing in and contributing to Input Output Research means supporting one of the most rigorous and peer-reviewed blockchain R&D efforts in the world. Our work bridges academia and industry, advancing decentralization, security and scalability while creating open knowledge that benefits the entire ecosystem. Whether through funding, collaboration, or partnership, contributors play a vital role in shaping innovations that are ethical, impactful and built to endure.