The code for the verifier contract and the chain signatures smart contract is under "Learn More" in the page. I think I will update the design for them to make them clearer in case people miss them.

Also there is the proof service the frontend uses to outsource the proof generation computation from the browser https://github.com/esaminu/proof-service