proof-systems
proof-systems copied to clipboard
Follow-up: we could have a routine called `is_positive` which is more specific.
Follow-up: we could have a routine called `is_positive` which is more specific.
Originally posted by @dannywillems in https://github.com/o1-labs/proof-systems/pull/1434#discussion_r1417171179