JAR: Join-Accumulate Refine

JAR: Join-Accumulate Refine

Table of Contents

1.	The jar1 Variant
2.	Notation and Conventions
3.	Numeric Types
4.	Protocol Constants
5.	Cryptographic Primitives
6.	Type Definitions
7.	Economic Model
8.	Safrole Consensus
9.	Join-Accumulate Virtual Machine
10.	JAVM Capability System
11.	Capability Kernel
12.	Service Invocations
13.	Work-Report Pipeline
14.	Accumulation
15.	State Transition
16.	Serialization Codec
17.	Merkle Structures
18.	Erasure Coding

9. Join-Accumulate Virtual Machine

9.1.	jar1 JAVM Configuration
9.2.	Constants
9.3.	Machine Model
9.4.	Program Representation
9.5.	Memory Operations (Appendix A.4)
9.6.	Program Blob Decoding (Appendix A.5)
9.7.	Instruction Operand Decoding
9.8.	Host-Call Result Sentinels (Appendix B)
9.9.	JAR Blob Format
9.10.	Instruction Execution (Appendix A.6)
9.11.	Interpreter
9.12.	Gas Cost Model
9.13.	Capability System

9.8. Host-Call Result Sentinels (Appendix B)

RESULT_NONE

←9.7. Instruction Operand Decoding 9.9. JAR Blob Format→

9.8. Host-Call Result Sentinels (Appendix B)🔗

🔗def

Jar.JAVM.RESULT_NONE : UInt64
Jar.JAVM.RESULT_NONE : UInt64

Host-call result sentinel values. GP Appendix B.

←9.7. Instruction Operand Decoding 9.9. JAR Blob Format→