Is this repo dead?

[mmagician]

Seems like it hasn't been worked on for a while, and compiling fails at the stage of pulling deps even...
Maybe it would be a good idea to archive it with a message re-directing users to another source? Would help to avoid confusion - thanks!

@zhenfeizhang

[zhenfeizhang]

It is still be used by some earlier version of the scroll prover.
It is no longer maintained as newer version of the prover will use snark-verifier.

Will archive this repo once the old provers are rotated out.

[mmagician]

ok thanks! Just out of curiosity, how are you using this code if it's not even finding its dependencies?

[zhenfeizhang]

you prob want to use https://github.com/scroll-tech/halo2-snark-aggregator/tree/scroll-dev-0220
it compiles on my local machine

[mmagician]

Ah gotcha, thanks!

[mmagician]

@zhenfeizhang this actually fails locally for me (sorry I only just tried it now). Are you perhaps patching any further dependencies?