BECOME

Certified Ground State Energy

Get a certified ground-state energy on your Hamiltonian, or pay nothing.

Send an FCIDUMP. Get back E, its bound, and a certificate tied to your file’s hash.

You already built the active-space Hamiltonian. The job is to determine its ground-state energy. Send the FCIDUMP; get E, the bound, and a certificate tied to that file. No certificate, no invoice.

Certified result · Ethanol (C2H6O), PubChem CID 702, catalog entry 17291, CAS(8e,8o)

E0 = −154.0733873198 Ha

Lower bound
−154.0733873199 Ha
Upper bound
−154.0733873198 Ha
Width
1 × 10−10 Ha (6.3 × 10−8 kcal/mol)

Within the accuracy you ordered: Ultra-precise, 1.593601437641 × 10−10 Ha (10−7 kcal/mol)

Proved on your exact file

Every energy is proved with a zero-knowledge proof on your file, identified by its SHA-256 fingerprint, and kept private to your account.

Two-sided brackets for any active space Hamiltonian

We prove both a lower and an upper bound on the exact ground-state energy.

Name your price; owe nothing if we miss

Bid, pick a 30, 60 or 90 day deadline, and pay nothing if we miss your target.

How it works

  1. Step 1, Define: searching the catalog for ethanol; the top match is C2H6O, ethanol, 9 atoms, catalog entry 17291
  2. Step 2, Locate: ethanol, PubChem compound 702, 6-31G* basis, 8 electrons in 8 orbitals, its Hartree-Fock energy, and the FCIDUMP's SHA-256
  3. Step 3, Prepare: choose the accuracy; Ultra-precise, 1.593601437641 × 10⁻¹⁰ Ha, is selected
  4. Step 4, Confirm: ethanol (PubChem compound 702, entry 17291), 8 electrons in 8 orbitals, 6-31G*, Ultra-precise accuracy, and the certificate you receive

FeMoco, certified.

We proved lower and upper bounds on the ground-state energy of the Chan group’s LLDUC active space for FeMoco, machine-checked them, tied them to the file’s fingerprint, and made them verifiable by anyone in under a second.

  1. The Hamiltonian is Chan’s, byte for byte

    The LLDUC active-space model (Li, Li, Dattani, Umrigar and Chan): 76 orbitals, 113 electrons, MS = 3/2. We used the published FCIDUMP unmodified. The certificate is bound to its SHA-256 fingerprint, so it cannot apply to any other file.

    Chan group’s published filee5a48af746fd075026dec9e8f5df2d363802a121e8c53af9a0b984bde695e1bd
    File our certificate is bound toe5a48af746fd075026dec9e8f5df2d363802a121e8c53af9a0b984bde695e1bd
    Fingerprints match

  2. Both bounds are proved, not estimated

    The certificate carries a lower bound and an upper bound on the exact ground-state energy of this Hamiltonian, 1.9 µHa apart. Each is checked by the Coq proof checker, so no numerical method has to be taken on faith.

    FeMoco ground-state energy LLDUC Hamiltonian, 76 orbitals and 113 electrons. Zhai et al. (2026) upper bound −22,140.396 Ha and best estimate −22,140.411 Ha. BECOME certified −22,140.967 Ha, 556 mHa lower. FeMoco Ground-state energy 76 orbitals · 113 electrons · LLDUC Hamiltonian Energy (Ha) −22,140.40 −22,140.64 Upper bound Best estimate 556 mHa BECOME Zhai et al. (2026) BECOME Upper bound Best Estimate ✓ Certified −22,140.396 −22,140.411 −22,140.967
    Lower bound
    LDLT certificate, checked in Coq
    Upper bound
    Rayleigh-quotient certificate, checked in Coq

    For comparison, Zhai et al. (2026) report a consensus estimate of −22,140.411 ± 0.0005 Ha from DMRG and coupled-cluster extrapolations, and a strict variational upper bound of −22,140.396 Ha. Neither is a lower bound. Their −22,140.411 Ha is an extrapolated estimate, not a bound. Our certified lower bound lies 556 mHa lower, which indicates that the true ground state holds substantially more correlation energy than those methods captured.

  3. Anyone can verify it in under a second

    The bound checks ran inside SP1, Succinct’s zero-knowledge virtual machine, which proves that a program executed correctly. The output is a Groth16 proof. Verifying it needs only the proof and the verification key, not our data and not our word.

Why BECOME

A certified lower bound, not an estimate

DFT and coupled cluster give you a number with no side. BECOME certifies a lower and an upper bound on the ground-state energy of your molecule, to the accuracy you choose.

Built for strongly correlated molecules

Metal centers, iron–sulfur clusters and open-shell spin states, where DFT breaks down and exact methods can’t reach.

Your Hamiltonian, exactly as you built it

Upload the FCIDUMP you already have. Your basis, your active space, nothing swapped, and the certificate is bound to the file’s hash.

A Hamiltonian you can check

Pick a molecule from our catalog and download its FCIDUMP before you order. The certificate is bound to that file’s hash.

Cryptographically certified

Every result comes with a zero-knowledge proof you can verify yourself. No trust in us required, and nothing for your reviewers to take on faith.

Get a certified ground-state energy

Nothing is charged when you submit, and you owe nothing if we can’t certify it.

  1. Upload your FCIDUMP (private to your account).
  2. Pick a molecule from the catalog.
  3. Set your energy target, bid, and deadline.
  4. We review it and email you before any payment.
  5. You pay only if the certificate is delivered.