Circular-Proof Release Date