search

lambdaclass / lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
https://lambdaclass.github.io/lambdaworks/
Apache License 2.0
625 stars 140 forks source link

Add from Circom to Lambdaworks example #931

Closed jotabulacios closed 1 month ago

jotabulacios commented 1 month ago

Add from Circom to Lambdaworks example

Description

Small PR adding a walkthrough tutorial to create a circuit in Circom, generate a proof, and verify it using with Groth16 using Lambdaworks

codecov-commenter commented 1 month ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 71.08%. Comparing base (21a02da) to head (ce80fee).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #931 +/- ## ======================================= Coverage 71.08% 71.08% ======================================= Files 144 144 Lines 31824 31824 ======================================= Hits 22622 22622 Misses 9202 9202 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.