AI Verification Tech MapSearch

Implementation · Pearl proof-of-useful-work blockchain

Sources

On this page
  1. BPearl Research Team (2026). Pearl Floating Point Scheme Specification. Pearl Research Labs. Source recordSupports: FP8 protocol, verifier, jackpot policy, known speedups, ZK verifier, assumption (provider-reported) · abstract; §1; §2; §4.1; §5.1; §6; §7; App. A–B
  2. BPearl Research Labs (2026). Pearl INT Whitepaper. Pearl Research Labs. Source recordSupports: INT scheme, launch statement, benchmark table, zkSNARK size (provider-reported) · §3; §4.2; §4.7; §7 Table 1
  3. CPearl Research Labs (2026). Proof of Useful Work from the Ground Up. Pearl Research Labs. Source recordSupports: provider-reported end-to-end serving overhead for the integer proof-of-useful-work kernel · Measured in production
  4. BPearl Research Labs (2026). pearl: Monorepo for the Pearl network. GitHub. Source recordSupports: public node, miner and ZK prover code; releases · README; release v1.2.1 (commit e72ad36)
  5. BI. Komargodski & O. Weinstein (2025). Proofs of Useful Work from Arbitrary Matrix Multiplication. arXiv. Source recordSupports: underlying PoUW construction and its assumptions; miners choose the instance · abstract; §2; §3
  6. BA. Basu (2026). The Usefulness Gap in Proof-of-Useful-Work: An Empirical Study of Pearl's cuPOW Protocol. arXiv. Source recordSupports: independent measurement of Pearl's mainnet (integer scheme): worker count, mining software, random-matrix mining, verification scope, statistical check defeated · abstract; measurement and verification sections; conclusion (v2)
  7. AE. Badash et al. (2026). Hawkeye: Reproducing GPU-Level Non-Determinism. Proceedings of Machine Learning and Systems 8 (MLSys 2026). Source recordSupports: Hawkeye, the bit-exact GPU reproduction the FP8 verifier uses; Komargodski's affiliation with Pearl Research Labs · author block; abstract
  8. CAttestable (2026). Pacing AI Requires Proof. Attestable blog. Source recordSupports: a proof of some computation is not a proof of all computation; capacity bounding needs a compute estimate (Attestable's proposal)

Search

Full search page