A pqSNARK with lightweight proofs, powered by the Whir PCS. - View it on GitHub