FeatureRequest: Add config to not check that points are on curve when deser circom types

TaceoLabs / co-snarks

Tooling for creating collaborative SNARKs for Circom circuits.

https://docs.taceo.io

Apache License 2.0

91 stars 8 forks source link

FeatureRequest: Add config to not check that points are on curve when deser circom types #139

Open 0xThemis opened 2 months ago

0xThemis commented 2 months ago

Our trait implementations check that every point we read are on the curve and in the cyclic subgroup. Add a configuration that let's us skip these checks. Also maybe only enable it when "dangerous" is enabled?