Disclaimer: this repository is no longer maintained and not all the constraints necessary for a full verifier are included (it is known that I forgot to add composition evaluation check). A new implementation, which does not use Circom but focuses on a Rust DSL, will be a re-implementation that will be maintained.
This repository has been archived by the owner on Jan 16, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Circom for the Circle Plonk recursive verifier
License
Bitcoin-Wildlife-Sanctuary/circle-plonk-recursive-verifier-circom
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Circom for the Circle Plonk recursive verifier
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published