lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
This pull request contains changes to improve clarity, correctness and structure.
Description correction:
Corrected nvida to nvidia.
Corrected system.assert_eq(&y, &z);; to system.assert_eq(&y, &z); (the extra semicolon has been removed).
Please review the changes and let me know if any additional changes are needed.
This pull request contains changes to improve clarity, correctness and structure.
Description correction: Corrected
nvidatonvidia. Correctedsystem.assert_eq(&y, &z);;tosystem.assert_eq(&y, &z);(the extra semicolon has been removed).Please review the changes and let me know if any additional changes are needed.