diff --git a/README.md b/README.md index c9ad72f..03a7803 100644 --- a/README.md +++ b/README.md @@ -1,12 +1,11 @@ # Gnark Plonky2 Verifier -This is an implementation of a [Plonky2](https://github.com/mir-protocol/plonky2) verifier in Gnark (supports Groth16 and PLONK). +This is a fork of [succinctlabs](https://github.com/succinctlabs/gnark-plonky2-verifier) implementation of [Plonky2](https://github.com/0xPolygonZero/plonky2/) verifier in Gnark (supports Groth16 and PLONK). -Besides the verifier, there are some Gnark implementation of circuits in this repo that may be useful for other projects: - -- [Goldilocks](https://github.com/succinctlabs/gnark-plonky2-verifier/blob/main/field/field.go) -- [Poseidon](https://github.com/succinctlabs/gnark-plonky2-verifier/blob/main/poseidon/poseidon.go) -- [FRI](https://github.com/succinctlabs/gnark-plonky2-verifier/blob/main/plonky2_verifier/fri.go) +### Changes: +- Apply Goldilocks changes (update 2-adic generator) in version 1.0.2 of plonky2, see this [PR](https://github.com/0xPolygonZero/plonky2/pull/1579) +- Include the FRI config and params in the challenger, see this [PR](https://github.com/0xPolygonZero/plonky2/pull/1678) +- Replace the testdata with Plonky2 v1.0.2 output. ## Requirements