Final report (#1)

.github/workflows/build.yml

@@ -0,0 +1,22 @@
+name: Build
+
+on: [push, pull_request]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Prepare repository
+        uses: actions/checkout@v4
+      - name: Build document
+        uses: xu-cheng/latex-action@v3
+        with:
+          root_file: main.tex
+          post_compile: "if [[ $(grep -ic overfull *.log) != 0 ]]; then echo 'Margin overrun detected; failing...' && exit 1; fi"
+      - name: Store PDF
+        uses: actions/upload-artifact@v4
+        with:
+          name: Output PDF
+          path: ./*.pdf

.gitignore

@@ -0,0 +1,10 @@
+*.aux
+*.bbl
+*.blg
+*.fdb_latexmk
+*.fls
+*.log
+*.out
+*.pdf
+*.synctex.gz
+*.toc

README.md

@@ -0,0 +1,3 @@
+# Veridise divisor report review
+
+This repository contains the technical note from a review of a report by [Veridise](https://veridise.com/) performed by [Cypher Stack](https://cypherstack.com/) for the [Monero](https://getmonero.org/) community.

main.bib

@@ -0,0 +1,34 @@
+@misc{ecip,
+      author = {Liam Eagen},
+      title = {Zero Knowledge Proofs of Elliptic Curve Inner Products from Principal Divisors and {W}eil Reciprocity},
+      howpublished = {Cryptology ePrint Archive, Paper 2022/596},
+      year = {2022},
+      note = {\url{https://eprint.iacr.org/2022/596}},
+      url = {https://eprint.iacr.org/2022/596}
+}
+
+@InProceedings{fs,
+author="Bernhard, David
+and Pereira, Olivier
+and Warinschi, Bogdan",
+editor="Wang, Xiaoyun
+and Sako, Kazue",
+title="How Not to Prove Yourself: Pitfalls of the {F}iat-{S}hamir Heuristic and Applications to {H}elios",
+booktitle="Advances in Cryptology -- ASIACRYPT 2012",
+year="2012",
+publisher="Springer Berlin Heidelberg",
+address="Berlin, Heidelberg",
+pages="626--643",
+isbn="978-3-642-34961-4"
+}
+
+@INPROCEEDINGS{weak_fs,
+  author={Dao, Quang and Miller, Jim and Wright, Opal and Grubbs, Paul},
+  booktitle={2023 IEEE Symposium on Security and Privacy (SP)}, 
+  title={Weak {F}iat-{S}hamir Attacks on Modern Proof Systems}, 
+  year={2023},
+  volume={},
+  number={},
+  pages={199-216},
+  keywords={Surveys;Privacy;Smart contracts;Cryptocurrency;Security;zero-knowledge;proof-systems;Fiat-Shamir;attacks;applied-cryptography;blockchain},
+  doi={10.1109/SP46215.2023.10179408}}