Hanting Zhang

icon location Los Angeles, CA, USA icon location I also go by Winston. Interested in formal mathematics/verification -- I like CS for its application, but math is just better.

Results 14 issues of Hanting Zhang

chore: Move to the Ingonyama MSM

2 comment

This PR switches the MSM on the bn256 curve to the Ingonyama MSM. We don't implement it directly, but rather use a wrapper repo https://github.com/lurk-lab/ingonyama-grumpkin-msm, which is similar to `grumpkin-msm`.

Add API for generic data directory

1 comment

This PR implements a minimal generic data directory for `arecibo` to read/write from. It is similar the the data directory used in Lurk. Besides the immediate need to have some...

Generic data directory for `arecibo`

1 comment

The issue addresses multiple current active issues in that require some kind of external data management from the disk or filesystem: 1. https://github.com/lurk-lab/arecibo/issues/270 2. https://github.com/lurk-lab/lurk-rs/issues/1086 3. https://github.com/lurk-lab/arecibo/pull/335 Regarding [this comment](https://github.com/lurk-lab/arecibo/pull/335#pullrequestreview-1900953936):...

Organize public param creation with assorted structs

This PR - removes `Flat*` structs - reorganizes public params to be created with `into_parts`, which takes in 1) circuit shapes, 2) commitment keys, and 3) auxiliary data