[HyperNova] Implement Plonkish -> CCS translation on the codebase.

privacy-scaling-explorations / Nova

Nova: Recursive SNARKs without trusted setup

MIT License

43 stars 8 forks source link

[HyperNova] Implement Plonkish -> CCS translation on the codebase. #26

Open CPerezz opened 1 year ago

CPerezz commented 1 year ago

Once this is finalized and we have a clear conversion algorithm that works to generate the CCS matrixes, it would be nice to actually implement such thing and be able to digest halo2_proofs-generated circuits and translate them into their CCS relatives.