Ayo, we need to run a full arxiv whitepaper on this repo. The paper should be documented as a Typst-formatted arxiv.org paper, and the final output should include the compiled PDF file. (author - rin fhenzig @ opensvm)

Tasks:

Analyze cryptography and provide math proofs that it works by solving folrmal verification
Make sure you added enough typest diagrams and charts that visually explain the implementation
Write a detailed audit paper in Typst format
Compile the Typst document and provide the resulting PDF
Reference all findings and recommendations according to best practices for cryptography papers
Holla if you need repo access or any docs. Let's get this paper done right!