refactor(references): update and reorder bibliography entries

Added new articles on optimising shielded state synchronization, dynamic effective timed communication systems, and Nock for functional programmers. Also corrected and reordered existing entries for Heterogeneous Paxos 2.0 specs, Anoma State Architecture, Compiling Juvix to Cairo Assembly, and Comparing Two Hash Functions. This ensures the bibliography is up-to-date and accurately organized to reflect current research contributions.

Author: jonaprieto

docs/references/art.bib

@@ -3,6 +3,45 @@
 % https://art.anoma.net
 
 
+@article{ art-2025-optimising-shielded-state-synchronization,
+    author    = { Larraia, Enrique and Khalniyazova, Yulia },
+    title     = { {Optimising Shielded State Synchronization with FMD and TEEs} },
+    journal   = { Anoma Research Topics },
+    month     = { Apr },
+    year      = { 2025 },
+    publisher = { Zenodo },
+    version   = { April 10, 2025 },
+    doi       = { 10.5281/zenodo.15186457 },
+    url       = { https://doi.org/10.5281/zenodo.15186456 }
+}
+
+
+@article{ art-2025-dynamic-effective-timed-communication-systems,
+    author    = { Heindel, Tobias and Prieto-Cubides, Jonathan and Hart, Anthony },
+    title     = { {Dynamic Effective Timed Communication Systems} },
+    journal   = { Anoma Research Topics },
+    month     = { Mar },
+    year      = { 2025 },
+    publisher = { Zenodo },
+    version   = { March 06, 2025 },
+    doi       = { 10.5281/zenodo.14984148 },
+    url       = { https://doi.org/10.5281/zenodo.14984147 }
+}
+
+
+@article{ art-2024-nock-functional-programmers,
+    author    = { Czajka, Lukasz },
+    title     = { {Nock for Functional Programmers} },
+    journal   = { Anoma Research Topics },
+    month     = { Dec },
+    year      = { 2024 },
+    publisher = { Zenodo },
+    version   = { December 18, 2024 },
+    doi       = { 10.5281/zenodo.14511714 },
+    url       = { https://doi.org/10.5281/zenodo.14511713 }
+}
+
+
 @article{ art-2024-message-logic,
     author    = { Gabbay, Murdoch J. and Zarin, Naqib },
     title     = { {Message Logic} },
@@ -16,29 +55,29 @@ @article{ art-2024-message-logic
 }
 
 
-@article{ art-2024-heterogeneous-paxos-20-specs,
-    author    = { Karbyshev, Aleksandr and Sheff, Isaac },
-    title     = { {Heterogeneous Paxos 2.0: the Specs} },
+@article{ art-2024-anoma-state-architecture,
+    author    = { Sheff, Isaac },
+    title     = { {Anoma State Architecture} },
     journal   = { Anoma Research Topics },
     month     = { Dec },
     year      = { 2024 },
     publisher = { Zenodo },
     version   = { December 04, 2024 },
-    doi       = { 10.5281/zenodo.14276903 },
-    url       = { https://doi.org/10.5281/zenodo.12572557 }
+    doi       = { 10.5281/zenodo.14265827 },
+    url       = { https://doi.org/10.5281/zenodo.14265826 }
 }
 
 
-@article{ art-2024-anoma-state-architecture,
-    author    = { Sheff, Isaac },
-    title     = { {Anoma State Architecture} },
+@article{ art-2024-heterogeneous-paxos-20-specs,
+    author    = { Karbyshev, Aleksandr and Sheff, Isaac },
+    title     = { {Heterogeneous Paxos 2.0: the Specs} },
     journal   = { Anoma Research Topics },
     month     = { Dec },
     year      = { 2024 },
     publisher = { Zenodo },
     version   = { December 04, 2024 },
-    doi       = { 10.5281/zenodo.14265827 },
-    url       = { https://doi.org/10.5281/zenodo.14265826 }
+    doi       = { 10.5281/zenodo.14276903 },
+    url       = { https://doi.org/10.5281/zenodo.12572557 }
 }
 
 
@@ -55,29 +94,29 @@ @article{ art-2024-slow-games-policy-enforcement-under
 }
 
 
-@article{ art-2024-comparing-two-hash-functions,
-    author    = { Yıldız, Burcu and Maller, Mary },
-    title     = { {Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge} },
+@article{ art-2024-compiling-juvix-cairo-assembly,
+    author    = { Czajka, Łukasz },
+    title     = { {Compiling Juvix to Cairo Assembly} },
     journal   = { Anoma Research Topics },
     month     = { Sep },
     year      = { 2024 },
     publisher = { Zenodo },
     version   = { September 10, 2024 },
-    doi       = { 10.5281/zenodo.13739511 },
-    url       = { https://doi.org/10.5281/zenodo.13739510 }
+    doi       = { 10.5281/zenodo.13739344 },
+    url       = { https://doi.org/10.5281/zenodo.13739343 }
 }
 
 
-@article{ art-2024-compiling-juvix-cairo-assembly,
-    author    = { Czajka, Lukasz },
-    title     = { {Compiling Juvix to Cairo Assembly} },
+@article{ art-2024-comparing-two-hash-functions,
+    author    = { Yıldız, Burcu and Maller, Mary },
+    title     = { {Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge} },
     journal   = { Anoma Research Topics },
     month     = { Sep },
     year      = { 2024 },
     publisher = { Zenodo },
     version   = { September 10, 2024 },
-    doi       = { 10.5281/zenodo.13739344 },
-    url       = { https://doi.org/10.5281/zenodo.13739343 }
+    doi       = { 10.5281/zenodo.13739511 },
+    url       = { https://doi.org/10.5281/zenodo.13739510 }
 }