trident/os/boundless.md

π 0.0%

Boundless

← Target Reference | VM: RISCZERO

Runtime Parameters

Parameter Value
VM RISCZERO
Runtime binding boundless.ext.*
Account model Journal I/O
Storage model No persistent storage
Cost model Cycles (segments)
Cross-chain Ethereum verification via Groth16

Runtime Binding (boundless.ext.*)

  • Journal I/O — public inputs and outputs for proof verification
  • Guest-host communication — data exchange between guest program and host
  • Assumption/composition — recursive proof composition and assumption verification

Notes

Boundless is RISCZERO's proving network — proofs verify on any chain with a Groth16 verifier.

For VM details, see risczero.md.

Pages in this namespace

Local Graph