Every product on this site ships with the technical paper it's built from — the construction, the security reasoning, and the parts we haven't proven yet, published in the open rather than kept behind a certificate number.
Describes a protocol that splits code security assessment into a full-visibility analysis phase, kept inside the repository owner's trust boundary, and a narrow, provable attestation phase built on Merkle commitments — the design behind zkAssess.
A timing-jitter noise source with continuous health tests implemented per SP 800-90B §4.4, preliminary entropy measurements from a 200,000-sample prototype run, and the full engineering and regulatory path to an issued ESV certificate.
Constructs a PRNG whose security reduces entirely to the conjectured one-wayness of the Collatz function, via the HILL framework and a Goldreich–Levin hardcore bit — with a complete security proof under the stated assumption, an open-source C++ reference implementation, and an explicit discussion of the gap between the assumption and a formal proof.
Documents an entropy-source assessment pipeline covering all three major components of SP 800-90B — the online health tests, the IID permutation track, and the ten non-IID min-entropy estimators — built for continuous operational monitoring across a server fleet rather than one-time certification, with every deliberate simplification relative to the reference algorithm documented in the open.
Every construction here is backed by a paper you can actually read — not just a claim.