Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
Main application of such network is an efficient proof than one set is a permutation of another. There are two parts than need to be implemented
- Synthesizer for a topology and witness calculator (what gates should be activated)
- Actual circuit that uses a topology