Skip to main content
Discover the Next Evolution with Polygon CDK. Learn more
here
New to Polygon?
CDK
Welcome to the CDK
Get Started with the Validium
Validium System Attributes
Data Availability
zkEVM
Welcome to zkEVM
Build a dApp
Run a Node
Launch Your zkEVM
Pre-Specs
PoS
Welcome to PoS
Learn about PoS
Build a dApp
Become a Validator
Create Proposals
Edge
Welcome to Edge
Get Started with Edge
Learn about Edge
Deploy a Chain
Miden
Welcome to Miden
Learn about Miden
Use the MidenVM
Pre-Specs
ID
Apps & Tools
Matic.js
Support
Contribute
Search
Miden VM
Stack Specifications
Program decoder
Program decoder
📄️ Overview
How Miden VM decoder works.
📄️ AIR Constraints
AIR constraint for Miden VM program decoder.