search

lurk-lab / arecibo

An advanced fork of Nova
https://lurk-lang.org/
MIT License
63 stars 27 forks source link

Remove `ShapeCS` #373

Open tchataigner opened 3 months ago

tchataigner commented 3 months ago

Goal

This PR goes with https://github.com/lurk-lab/bellpepper/pull/91. It aims at moving the ShapeCS and TestShapeCS structures to bellpepper so that they can both be available in broader context.

The structures have been revamped to depend on a generic PrimeField instead of an Engine.

tchataigner commented 3 months ago

Note: The CI will fail as long as https://github.com/lurk-lab/bellpepper/pull/91 is not merged. Then, it will not be passing as long as https://github.com/lurk-lab/neptune/pull/275 is not merged.