Контракты
Системные контракты, конвейер развёртывания и то, что будет в реестре, когда VM разблокируют.
Адреса-фикстуры для работы над интерфейсом. Формата genesis, который их закрепит, пока нет.
Конвейер развёртывания
Контракт пишут на Trocto, компилируют в Regol, собирают в байткод, проверяют на этапе деплоя, а затем адресуют тегированным хешем от деплоера и нонса.
/ 01
Написать
Trocto (.tc) или Regol (.rg) руками
/ 02
Скомпилировать
altc понижает .tc до .rg
/ 03
Собрать
Regol становится байткодом VM
/ 04
Проверить
Проверка целей переходов и опкодов на деплое — самая важная проверка в ISA
/ 05
Развернуть
Транзакция деплоя закрепляет адрес
Что отвергает проверка на деплое
Проверка целей переходов и опкодов на деплое — самая важная проверка в ISA
- Любой опкод вне ISA
- Переход, цель которого не на границе инструкции
- Любую операцию с плавающей точкой — в ISA её нет вообще
- Любое чтение часов, источника случайности или чего-то платформозависимого
- Код больше лимита контейнера
Системные контракты
| Имя | Адрес | Вызовов | Размер |
|---|---|---|---|
| Реестр узловСоздаёт и хранит каждую запись PoTB | al1fab913f6f…dd57b6 | 57,749,785 | 20.4 KB |
| АттестацииРёбра графа доверия и время их прихода | al1855cd8534…f2c09e | 70,251,388 | 8.6 KB |
| Внешний вызовПары на эпоху и их результаты | al109f1778db…10bb4f | 53,699,128 | 6.2 KB |
| Операционный залогВнесение и вывод для корзины 15% | al12b1d4e0c5…4a114c | 67,997,627 | 12.8 KB |
| Свидетельства нарушенийДоказательства двойной подписи и слэшинг | al1643aac86e…b3dd6b | 76,175,931 | 6.3 KB |
| Seed эпохиCommit, reveal и смешивание без учёта порядка | al176d28fdcd…9a5b3a | 57,688,538 | 18.6 KB |
| Реестр имёнЗона .lune, когда она появится | al1ee2a126eb…484f6f | 76,676,873 | 7.5 KB |
Проверенные контракты
Развёртывания с проверенным исходником, новые сверху.
| Имя | Адрес | Язык | Развёрнут | Проверен |
|---|---|---|---|---|
| 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 |