kroma-network / tachyon

Modular ZK(Zero Knowledge) backend accelerated by GPU

MIT License

7.78k stars 226 forks source link

feat: support scroll halo2 1.1 #464

Closed chokobole closed 2 weeks ago

chokobole commented 2 weeks ago

Description

This PR is made to support Scroll Halo2 v1.1.

BREAKING CHANGE:

The coordinate of the point returned from Scroll Halo2 v1.1 MSM is changed from Jacobian to Projective.
The Assignment trait now needs to query fixed values, altering the interface of create_proof.
ls_type is fixed to log derivative Halo2 to ensure compatibility with Scroll Halo2 v1.1.

NOTE:

Now the Halo2 benchmark is done against Scroll Halo2 instead of Kroma Halo2.