Arithmetization of Functional Program Execution via Interaction Nets in Halo 2
We're excited to announce the release of our new paper, “Arithmetization of Functional Program Execution via Interaction Nets in Halo 2,” the fourth one published by Orbis Labs. In this paper, Anthony Hart details a design pattern for zkVMs for purely functional (stateless) models of computation.
Zero-knowledge virtual machines (zkVMs) allow us to create zk-SNARKs proving the results of computations. Each zkVM is based on a model of computation, such as RISC-V, TinyRAM, or the EVM architecture. This paper provides a starting point for designing zkVMs for purely functional languages used in industry, such as the Plutus validator script language. We expect interaction net based zkVMs to provide more efficient and more easily verified solutions for verifiable computation on functional programs.
We look forward to our future publications which will further outline the techniques and technologies we are using to build Orbis, the first general purpose layer 2 scaling solution for Cardano. As we continue to develop these technologies, we also want to make sure that we are not only creating a great product, but also that we are sharing what we learn with the community. We encourage you to check out our Github repository for Orbis at https://github.com/orbis-tertius.