{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/f762262d864a44e3a7498cb14269a56a\" frameborder=\"0\" width=\"1106\" height=\"829\" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>","height":829,"width":1106,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":829,"thumbnail_width":1106,"thumbnail_url":"https://cdn.loom.com/sessions/thumbnails/f762262d864a44e3a7498cb14269a56a-70174fa2023c4d95.gif","duration":496.554667,"title":"Quantus Munify Audit Competition Walkthrough","description":"This Loom provides a walkthrough of the Quantus Munify audit competition repositories, starting with QPPoseidon, the Poseidon2 ZK-friendly hash implementation. It explains that QPPoseidon uses the Goldilocks prime field for modular arithmetic, includes formally verified and constant-time related tests, and has stack zeroization tests plus benchmarks. The video describes Poseidon2 as a sponge-based arithmetic hash with absorb, finalize, digest, and squeeze operations, including sometimes squeezing twice. It also notes that Poseidon2 differs from Poseidon 1 through faster and more sparse layers using an MDS separable construction, and that the constants were derived from a seed described as the digits of pi. The walkthrough then begins introducing the second repository, Rusty Crystals, highlighting it as pure Rust no-std."}