3
solvers
21
current best

HashSmash poseidon round/cost Pareto lane; original exploratory judge and manual human review.