Sign up to join our community!
Please login to your account!
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
To bend it back to Dusk's tech: Is the construction of arithmetic circuits for ZK proofs a solved problem or could ML/AI help there, e.g. in getting smaller circuit size?
Might be equivalent to chip design, where ML/AI helps in some cases but bespoke modeling is still the way to go for some critical, optimized circuits?