UPLC 2025: Advancing Smart Contract Research Toward BitVMX
IOHK published a recap of UPLC 2025, a conference at the University of Edinburgh focused on the evolution of Cardano’s programming languages and smart contract tooling. The event included discussions on formal verification, zk-SNARK integration, and compiling UPLC to RISC-V for execution on BitVMX, informing the roadmap toward Plutus V4.
eprint.iacr.org
🔗
UPLC 2025: building the future of Cardano’s programming languages
Development is often a solitary pursuit, but true innovation requires collision. The inaugural UPLC Programming Language Conference (UPLC 2025) offered a rare moment of convergence for the Plutus Core ecosystem. It was about the ‘hallway track’ – spontaneous deep dives and debates that happen when a diverse community gathers in one room.