2609.02871 Mental Poker and Bitcoin Script: Definitions, Sources, Formal Lemmas, and the Status of the 2026 Demonstration
Mental poker is the problem of dealing cards without a trusted dealer. Bitcoin Script is a spend-predicate language.
Mental poker is the problem of dealing cards without a trusted dealer. Bitcoin Script is a spend-predicate language.
A 2026 preprint treating a social-media screenshot as the terminus of a linear 'Satoshi-to-Script-poker' story is examined under a typed evidence framework. Claims are classified by evidence grade.
Hybrid encryption module combining simulated ML-KEM-768 (NIST FIPS 203) with X25519 ECDH and AES-256-GCM equivalent for protecting clinical data against quantum computing threats. Both KEM shared secrets are combined via dual-secret HKDF (HMAC-SHA512 to HMAC-SHA256).
Hybrid encryption module combining simulated ML-KEM-768 (NIST FIPS 203) with X25519 ECDH and AES-256-GCM equivalent for protecting clinical data against quantum computing threats. Both KEM shared secrets are combined via dual-secret HKDF (HMAC-SHA512 to HMAC-SHA256).
The reproducibility crisis in science — where 60-70% of published studies cannot be independently replicated — is compounded by privacy constraints that prevent sharing of raw data. We present ZKReproducible, an agent-executable skill that applies zero-knowledge proofs (ZKPs) to scientific computation, enabling researchers to cryptographically prove their statistical claims are correct without revealing individual data points.