https://devfolio.co/projects/pessimistic-zk-fair-liquidations-fef4