Proof Systems & Prover Markets

Details supported proof systems and future adjustment opportunities

Proof Systems

The ASMS is currently built on top of the Risc Zero zkVM and currently supports proofs built on it. Depending on use-cases the and demand the ASMS can accomodate different type of proof systems as well, but our Solidity contracts work out of the box with proofs built with Risc Zero.

Provers and Prover Markets

Bonsai

ASMS has integrated Bonsai fully into its flow and it is currently the lowest latency available method for proof generation.

Boundless Prover Market

ASMS has integrated Boundless prover market fully and it is a key component that ensures liveness. We expect Boundless to surpass Bonsai over the next year in terms of latency and they offer expanded functionality for end-users to track analytics and performance over Bonsai.

ASMS can use the following flows to request proofs:

• On-chain requests - slightly slower but fully transparent request and fulfill transactions are available on-chain (currently only on Base)

• Off-chain requests - slightly faster, fulfill transactions are available on-chain

Proof-agnostic design (under development)

While currently Boundless supports only Risc Zero proofs, in the future the prover market will also accept other type of zero-knowledge proof systems. In terms of capacity we don’t expect demand to outgrow supply due to market dynamics.