shuffler-lean

This repo contains a work in progress formalization of the new plan based shuffler in solc.

Either run nix develop or install elan.

Then run lake build to compile the project.