Last released Nov 7, 2026
ᑕ. exact arithmetic circuit verification; Python entry to the shared Node engine