Add a basic optimizer for general gates <> backend-capabilities

namnc / circom-2-arithc

Circom interpreter to arithmetic circuit description

MIT License

34 stars 7 forks source link

Open namnc opened 2 weeks ago

namnc commented 2 weeks ago

We can make a basic optimizer to interpret from general gates (of circom) to machine supported gates, e.g. MP-SPDZ support more gates than mpz.