Closed duguorong009 closed 5 months ago
Check & expose more types in halo2_proofs crate for compatibility of external projects. The list of external projects used for checking is this one - https://hackmd.io/HR_tdY-_QzCOe6fZUJBDeA.
halo2_proofs
This PR exposes:
In addition to newly-exposed types, there is one more - halo2_proofs::arithmetic::FieldExt. Originally, this one is the re-export of pasta_curves::FieldExt in halo2curves crate. This re-export was removed in this commit. https://github.com/privacy-scaling-explorations/halo2curves/commit/ce743c09e516cbc1cc8cb6da3cf6d420e914bc6a#diff-b1a35a68f14e696205874893c07fd24fdb88882b47c23cc0e0c80a30c7d53759L15 OR, halo2_proofs-v0.2.0 used the direct re-export of FieldExt, by using pasta_curves::arithmetic::*.(https://github.com/privacy-scaling-explorations/halo2/blob/halo2_proofs-0.2.0/halo2_proofs/src/arithmetic.rs#L11)
halo2_proofs::arithmetic::FieldExt
pasta_curves::FieldExt
halo2curves
halo2_proofs-v0.2.0
FieldExt
pasta_curves::arithmetic::*
Description
Check & expose more types in
halo2_proofs
crate for compatibility of external projects. The list of external projects used for checking is this one - https://hackmd.io/HR_tdY-_QzCOe6fZUJBDeA.Related issues
Changes
This PR exposes:
NOTE
In addition to newly-exposed types, there is one more -
halo2_proofs::arithmetic::FieldExt
. Originally, this one is the re-export ofpasta_curves::FieldExt
inhalo2curves
crate. This re-export was removed in this commit. https://github.com/privacy-scaling-explorations/halo2curves/commit/ce743c09e516cbc1cc8cb6da3cf6d420e914bc6a#diff-b1a35a68f14e696205874893c07fd24fdb88882b47c23cc0e0c80a30c7d53759L15 OR,halo2_proofs-v0.2.0
used the direct re-export ofFieldExt
, by usingpasta_curves::arithmetic::*
.(https://github.com/privacy-scaling-explorations/halo2/blob/halo2_proofs-0.2.0/halo2_proofs/src/arithmetic.rs#L11)