video1.0<iframe src="https://www.loom.com/embed/f762262d864a44e3a7498cb14269a56a" frameborder="0" width="1106" height="829" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>8291106Loomhttps://www.loom.com8291106https://cdn.loom.com/sessions/thumbnails/f762262d864a44e3a7498cb14269a56a-70174fa2023c4d95.gif496.554667This 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.