This library aims to provide a modular and composable framework for formally verifying succinct non-interactive arguments of knowledge (SNARKs). This is done as part of the verified-zkevm effort. In ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback