You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We will create for #251 a high-level API for creating IVC proofs, that leverages the IVC verification circuit from #435. Once we have the PCD verification circuit (#436), we would like to amend this API so that it is unified across IVC and PCD, with the specifics being handled by the type system.
The text was updated successfully, but these errors were encountered:
We will create for #251 a high-level API for creating IVC proofs, that leverages the IVC verification circuit from #435. Once we have the PCD verification circuit (#436), we would like to amend this API so that it is unified across IVC and PCD, with the specifics being handled by the type system.
The text was updated successfully, but these errors were encountered: