Contracts
System contracts, the deployment pipeline, and what the registry will hold once the VM is unblocked.
Fixture addresses for interface work. The genesis format that would fix them does not exist yet.
Deployment pipeline
A contract is written in Trocto, compiled to Regol, assembled to bytecode, validated at deploy time, then addressed by a tagged hash of its deployer and nonce.
/ 01
Write
Trocto (.tc) or Regol (.rg) by hand
/ 02
Compile
altc lowers .tc into .rg
/ 03
Assemble
Regol becomes VM bytecode
/ 04
Validate
Deploy-time jump-target and opcode validation — the single most important check in the ISA
/ 05
Deploy
A deploy transaction fixes the address
What deploy-time validation rejects
Deploy-time jump-target and opcode validation — the single most important check in the ISA
- Any opcode outside the ISA
- A jump whose target is not an instruction boundary
- Any floating-point operation — none exists in the ISA at all
- Any read of a clock, a random source or anything platform-dependent
- Code above the container limit
System contracts
| Name | Address | Calls | Size |
|---|---|---|---|
| Node registryCreates and holds every PoTB record | al1fab913f6f…dd57b6 | 57,749,785 | 20.4 KB |
| AttestationTrust graph edges and their arrival times | al1855cd8534…f2c09e | 70,251,388 | 8.6 KB |
| External challengeEpoch pairings and their results | al109f1778db…10bb4f | 53,699,128 | 6.2 KB |
| Operational bondDeposits and withdrawals for the 15% bucket | al12b1d4e0c5…4a114c | 67,997,627 | 12.8 KB |
| Offence evidenceDouble-signature proofs and slashing | al1643aac86e…b3dd6b | 76,175,931 | 6.3 KB |
| Epoch seedCommit, reveal and order-independent mixing | al176d28fdcd…9a5b3a | 57,688,538 | 18.6 KB |
| Name registryThe .lune zone, once it exists | al1ee2a126eb…484f6f | 76,676,873 | 7.5 KB |
Verified contracts
Source-verified deployments, newest first.
| Name | Address | Language | Deployed | Verified |
|---|---|---|---|---|
| stream-payments | al1443b8a40b…e26f05 | Trocto | 59,132,795 | |
| merkle-airdrop | al19c9c7e913…838719 | Trocto | 58,938,362 | |
| attestation-relay | al194f50e304…398d37 | Trocto | 58,610,070 | |
| oracle-feed | al10d126dc9c…07e2aa | Trocto | 58,610,017 | — |
| vesting-lock | al1fb4ad2a40…eee92e | Trocto | 58,203,786 | |
| nft-collection | al1c93b76193…f38e66 | Regol | 54,898,442 | |
| escrow-simple | al105dea02fc…ccf014 | Trocto | 54,759,728 | |
| fee-splitter | al17b99bfaad…d52363 | Trocto | 42,171,216 | |
| treasury-v1 | al121ac192e7…502e11 | Regol | 38,530,699 | |
| name-auction | al14b368b473…523465 | Trocto | 38,397,147 |