JAR: JAM Axiomatic Reference

JAR: JAM Axiomatic Reference

Table of Contents

1.	Notation and Conventions
2.	Numeric Types
3.	Protocol Constants
4.	Type Definitions
5.	Cryptographic Primitives
6.	Safrole Consensus
7.	State Transition
8.	Service Invocations
9.	Polkadot Virtual Machine
10.	Accumulation
11.	Serialization Codec
12.	Merkle Structures
13.	Erasure Coding

3. Protocol Constants

3.1.	Consensus and Validators
3.2.	Auditing
3.3.	Work Packages
3.4.	Gas Allocations
3.5.	Authorization Pool and Queue
3.6.	Size Limits
3.7.	PVM Parameters
3.8.	Timing
3.9.	Balance Thresholds
3.10.	Tickets

3.10. Tickets

K_MAX_TICKETS

←3.9. Balance Thresholds 4. Type Definitions→

3.10. Tickets🔗

🔗def

Jar.K_MAX_TICKETS [j : Jar.JamConfig] : Nat
Jar.K_MAX_TICKETS [j : Jar.JamConfig] :
  Nat

K_MAX_TICKETS via JamConfig.

←3.9. Balance Thresholds 4. Type Definitions→