Picus icon indicating copy to clipboard operation
Picus copied to clipboard

verified publisher icon chyanju
→

Metadata

Automated verification of uniqueness property for ZKP circuits

Results 1 Picus issues
Sort by recently updated
recently updated
newest added

Format of Preconditions

Hi! Thanks for this amazing project! The original paper mentions using `BabyAdd` as a precondition to improve verification scalability. How can I specify this in the implementation? I also want...

Koukyosyumei avatar Koukyosyumei

← Metadata

37
Stars
10
Forks
Watchers

Owner

verified publisher icon chyanju

Metadata

Automated verification of uniqueness property for ZKP circuits

Back