Skip to content

Commit

Permalink
Updated ProvenZk dependency
Browse files Browse the repository at this point in the history
  • Loading branch information
Eagle941 committed Mar 25, 2024
1 parent eb5aa69 commit 4cb4ba8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ contributing, or are new to Go, please see our

## Compatibility
This version of `gnark-lean-extractor` is compatible with `gnark v0.8.x`.
It is recommended to import [`ProvenZK-659b51e94d4c5160c5d93b92323f0d0dda05c3ad`](https://github.com/reilabs/proven-zk/tree/659b51e94d4c5160c5d93b92323f0d0dda05c3ad) in Lean4 to process the circuits extracted with this version of `gnark-lean-extractor`.
It is recommended to import [`ProvenZK-v1.4.0`](https://github.com/reilabs/proven-zk/tree/v1.4.0) in Lean4 to process the circuits extracted with this version of `gnark-lean-extractor`.

## Example

Expand Down

0 comments on commit 4cb4ba8

Please sign in to comment.