Верифицируемый оракул
Тянет жребий, который можно проверить. Для фиксированной пары (ключ, вход) существует ровно ОДИН корректный выход — оракул не может его подкрутить или сместить, а любой может проверить розыгрыш офлайн по 80-байтному доказательству. Лотереи, сортиция, выбор лидера, честные нонсы.
ECVRF-EDWARDS25519-SHA512-TAI (RFC 9381) · edwards25519 · hash-to-curve try-and-increment · offline verifiable
| ID | Цена | Результат |
|---|---|---|
| sortes.draw@v1 | $0.006 | VRF output β + proof π |
| sortes.verify@v1 | $0.001 | offline trustless verify |