Closed source afaik but i dont want perfection to become the enemy of good. Maybe closed source is fine?
It's fine for ZK since it produces a proof of validity, imo.
reply