Horus: A Protocol For Trustless Verification Under Uncertainty

1 points| optimalsolver | 16 days ago |arxiv.org