Jepsen ✨

I think a good goal for this project would be a Fibonacci example where we can test satisfiability and conversion to and from each scheme.

One thing I know the community to be quite interested in is the performance of these maps and schemes. If we are able to benchmark some examples to measure how...

- [ ] test_ccs_invalid_c_length(): This test should check that is_satisfied_by returns an error when c does not have length q. - [ ] test_ccs_invalid_M_length(): This test should check that is_satisfied_by...

We should test the satisfiability for the plonkish structure in a number of ways - [ ] Check constraints are satisfied with small poly - [ ] Check constraints are...

Right now this is a hacked together implementation which has been a really wonderful learning tool. However to move towards production implementations it would be nice to build confidence in...

It would be nice to also apply the CCS transformations to an AIR structure. Thus we would have interoperability between R1CS Plonkish, and AIR, schemes.

This will complete the bidirectional map of plonkish arithmatizations and CCS arithmatizations

This one is almost done, I think @thor314 has been working on this. The implementation should follow the specification in the paper. https://eprint.iacr.org/2023/552.pdf

### Description The links to the 5 primary services, as well as the 3 secondary services, lead to a 404 error. ### Steps to reproduce 1. Click any of the...