This paper formalizes Signum's consensus and uses that formalization to show that Signum is free from block grinding attacks and is largely protected from challenge grinding attacks. Moreover, this paper proposes a new protection for Signum against newborn attacks.
The latest PDF is automatically generated by the LaTeX-Build action of GitHub. You can download it by clicking on the topmost action run.
In alternative, you can compile the latest version of the PDF by running
cd wtsc_2025; pflatex wtsc_2025.tex; bibtex wtsc_2025; pdflatex wtsc_2025.tex; pdflatex wtsc_2025.tex; mv wtsc_2025.pdf ..; cd ..