Löftet om ZK-aktiverad Bitcoin-avkastning förverkligas ett polynom i taget (och kommer att vara här tidigare än du kanske har förväntat dig)