Cross-Reference Redirection

Table of Contents

	Introduction
	Background: zkVMs and autoprecompiles
	Variables, expressions and assignments
	Bus interactions
	Circuits
	Bus Semantics
	Soundness
	Completeness
	Degree bound
	Optimizer