real-time CL proofs

0xe0e3541ffbeddf3f2b033597c904925fe85692f2b130744b01fa6d4b8e577516