https://eprint.iacr.org/2017/536.pdf is the relevant paper that introduces the p...

		aseipp on April 18, 2025 \| parent \| context \| favorite \| on: 15,000 lines of verified cryptography now in Pytho... https://eprint.iacr.org/2017/536.pdf is the relevant paper that introduces the project and its broad design. Figure 1 on page 3 is a good place to look.