site: add cross tags for grouping updates

will-break-it · will-break-it · commit 6e7e493b6826 · 2025-06-04T15:37:40.000+02:00
diff --git a/site/news/2024-06-18-community-space.md b/site/news/2024-06-18-community-space.md
@@ -2,7 +2,7 @@
 title: Community Round-Table on Leios
 authors:
 - abailly
-tags: [education]
+tags: [education, community, outreach, presentation, throughput, diffusion, peras]
 ---
 
 On the 14th of June, 2024, along with [Pi Lanningham](https://x.com/Quantumplation), I was honoured to be invited to the very first _Round-Table_ organised by the [Cardano Community](https://x.com/Cardano) group. The discussion was facilitated by [Denicio Bernier](https://x.com/DenicioBernier) and [Rick McCracken](https://x.com/RichardMcCrackn), and was meant to provide a broad overview of _Leios_, the protocol and the R&D project we have just started working on.
diff --git a/site/news/2024-10-07-weekly-progress-summary.md b/site/news/2024-10-07-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - October 7, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, network-simulation, ethereum, blobs, open-source, peernet, bandwidth]
 ---
 
 ## Weekly Meeting
diff --git a/site/news/2024-10-14-weekly-progress-summary.md b/site/news/2024-10-14-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - October 14, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, network-simulation, presentation, governance, storage, incentives, filecoin]
 ---
 
 ## Network Simulation for Leios
diff --git a/site/news/2024-10-21-weekly-progress-summary.md b/site/news/2024-10-21-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - October 21, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, testing, network-simulation, deltaq, latency, throughput, open-source]
 ---
 
 ## Designing Test Environment
diff --git a/site/news/2024-10-28-weekly-progress-summary.md b/site/news/2024-10-28-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - October 28, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, visualization, web-server, research, deltaq, public-meeting, throughput]
 ---
 
 ## Visualizing Node Behavior
diff --git a/site/news/2024-11-04-weekly-progress-summary.md b/site/news/2024-11-04-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - November 4, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, network-simulation, ethereum, blobs, open-source, peernet, bandwidth]
 ---
 
 ## Weekly Meeting
diff --git a/site/news/2024-11-11-weekly-progress-summary.md b/site/news/2024-11-11-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - November 11, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, network-simulation, presentation, governance, storage, incentives, filecoin]
 ---
 
 ## Network Simulation for Leios
diff --git a/site/news/2024-11-18-weekly-progress-summary.md b/site/news/2024-11-18-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - November 18, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, open-source, testing, network-simulation, deltaq, latency, throughput]
 ---
 
 ## Structuring Repository for Open-source
diff --git a/site/news/2024-11-25-weekly-progress-summary.md b/site/news/2024-11-25-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - November 25, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, visualization, web-server, research, deltaq, public-meeting, throughput]
 ---
 
 ## Visualizing Node Behavior
diff --git a/site/news/2024-12-02-weekly-progress-summary.md b/site/news/2024-12-02-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary - December 2, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, nix, development, rust-simulation, virtual-clock, deltaq, haskell-simulation]
 ---
 
 ## Nix Development Environment
diff --git a/site/news/2024-12-09-weekly-progress-summary.md b/site/news/2024-12-09-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – December 9, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, node-engineering, threat-model, security, cost-calculator, rust-simulation]
 ---
 
 ## Node discussions with IOG site reliability engineering
diff --git a/site/news/2024-12-16-weekly-progress-summary.md b/site/news/2024-12-16-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – December 16, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, rust-simulation, optimization, haskell-simulation, visualization, cryptography, alba]
 ---
 
 ## Rust simulation
diff --git a/site/news/2024-12-23-weekly-progress-summary.md b/site/news/2024-12-23-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – December 23, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, ci, github-actions, rust-simulation, visualization, throughput, haskell-simulation, public-meeting]
 ---
 
 ## GitHub actions
diff --git a/site/news/2024-12-30-weekly-progress-summary.md b/site/news/2024-12-30-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – December 30, 2024
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, rust-simulation, graph-generation, haskell-simulation, parallelism, cryptography, bls, deltaq, jupyter]
 ---
 
 ## Rust simulation
diff --git a/site/news/2025-01-06-weekly-progress-summary.md b/site/news/2025-01-06-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – January 6, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, rust-simulation, cpu-simulation, deltaq, cost-dashboard, cryptography, bls, benchmarks, sortition]
 ---
 
 ## Rust simulation
diff --git a/site/news/2025-01-13-weekly-progress-summary.md b/site/news/2025-01-13-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – January 13, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, cryptography, benchmarks, vrf, bls, haskell-simulation, rust-simulation, visualization, technical-report]
 ---
 
 ## Cryptography benchmarks
diff --git a/site/news/2025-01-20-weekly-progress-summary.md b/site/news/2025-01-20-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – January 20, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, haskell-simulation, rust-simulation, sortition, downstream-impact, topology, visualization, deltaq]
 ---
 
 ## Simulation progress
diff --git a/site/news/2025-01-27-weekly-progress-summary.md b/site/news/2025-01-27-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – January 27, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, haskell-simulation, rust-simulation, standardization, configuration, topology, deltaq, formal-methods]
 ---
 
 The Leios team continued refining Haskell and Rust simulations, standardizing inputs, outputs, and event logging for better comparability. The team defined standard formats [for configuration parameters](https://github.com/input-output-hk/ouroboros-leios/blob/main/data/simulation/config.schema.json) and [network topology](https://github.com/input-output-hk/ouroboros-leios/blob/main/data/simulation/topology.d.ts) for running the Leios protocol. They also worked on logging identical simulation events to compare and feed them into the DeltaQ model and, consequently, the executable specification, ensuring alignment with formal methods.
diff --git a/site/news/2025-02-03-weekly-progress-summary.md b/site/news/2025-02-03-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – February 3, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, haskell-simulation, cryptography, implementation, cost-calculator, throughput, rust-simulation, visualization]
 ---
 
 This week, the Leios team worked on cryptography benchmarking and cost calculator improvements. The team completed a reference implementation for Leios cryptography and enhanced the online cost calculator with user-requested features. They also updated both Haskell and Rust simulations to improve visualization and network modeling capabilities.
diff --git a/site/news/2025-02-10-weekly-progress-summary.md b/site/news/2025-02-10-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – February 10, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, deltaq, topology, analysis, cryptography, bls, benchmarks, formal-methods, haskell-simulation, rust-simulation]
 ---
 
 This week, the Leios team made significant progress across multiple areas. Major developments included detailed DeltaQ analysis of network topologies, extensive BLS cryptography benchmarking, and improvements to both simulations. The team also explored succinct schemes for BLS key registration and conducted a detailed certificate performance analysis. Both Haskell and Rust simulations received substantial updates to improve visualization and support more realistic testing conditions.
diff --git a/site/news/2025-02-17-weekly-progress-summary.md b/site/news/2025-02-17-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – February 17, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, cps-0018, protocol, cross-simulation, analysis, docker, infrastructure, throughput, congestion]
 ---
 
 This week in Leios development, [CPS-0018](https://github.com/cardano-foundation/CIPs/blob/master/CPS-0018/README.md) for transaction throughput was approved, along with improved Docker support for simulations and analysis of cross-simulation results. The team also examined input block (IB) production rates and their impact on network performance.
diff --git a/site/news/2025-02-24-weekly-progress-summary.md b/site/news/2025-02-24-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – February 24, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, cross-simulation, analysis, dashboard, protocol, formal-methods, trace-verification, agda, rust-simulation]
 ---
 
 This week in Leios development, the team focused on simulation analysis and formal methods. Key accomplishments include detailed analyses of both Haskell and Rust simulations, initial work on a protocol dashboard, and advancements in formal methods through trace verification in Agda.
diff --git a/site/news/2025-03-03-weekly-progress-summary.md b/site/news/2025-03-03-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – March 3, 2025 
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, cross-simulation, analysis, formal-methods, trace-verification, agda, technical-report, cip, documentation]
 ---
 
 This week in Leios development, the team focused on simulation analysis, formal methods, and documentation updates. Key accomplishments include in-depth analysis of simulations at tag `leios-2025w10`, advancements in formal methods through a working trace verifier, and the development of technical reports.
diff --git a/site/news/2025-03-10-weekly-progress-summary.md b/site/news/2025-03-10-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – March 10, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, simulation-comparison, mainnet-scale, analysis, sharding, performance, full-leios, formal-methods, research]
 ---
 
 This week, the Leios team made significant progress in simulation capabilities, with a successful comparison of Rust and Haskell simulations across [**90 scenarios**](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w11/analysis.ipynb). A [**mainnet-scale analysis**](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w11xl/analysis.ipynb) of Leios on a [**realistic 3,000-node network**](https://github.com/input-output-hk/ouroboros-leios/blob/leios-2025w11/sim-rs/test_data/realistic.yaml) revealed unexpected performance benefits from network topology. Insights from [**sharding performance analysis**](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/shard-performance.ipynb) provided important optimization strategies. Finally, the team refined both simulation implementations for greater realism and comparability, while the formal methods team developed initial trace verification tools for Short Leios.
diff --git a/site/news/2025-03-17-weekly-progress-summary.md b/site/news/2025-03-17-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – March 17, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, simulation-comparison, protocol-scaling, congestion, throughput, full-leios, formal-methods, trace-verification]
 ---
 
 This week, the Leios team made significant progress in protocol development, focusing on improving simulation capabilities and analyzing protocol behavior under various network conditions. A comparison of Haskell and Rust simulations across [**18 scenarios**](https://github.com/input-output-hk/ouroboros-leios/blob/main/analysis/sims/2025w12/analysis.ipynb) demonstrated that the Leios protocol scales effectively to mainnet-sized networks. However, congestion occurs when the input block rate reaches 30 IB/s.
diff --git a/site/news/2025-03-24-weekly-progress-summary.md b/site/news/2025-03-24-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – March 24, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, haskell-simulation, rust-simulation, full-leios, testing, visualization, vite, monthly-review]
 ---
 
 This week, the Leios team continued working on various aspects of the protocol and its simulation capabilities. They made progress in implementing and testing the Haskell and Rust simulators, focusing on protocol behavior under different network conditions.
diff --git a/site/news/2025-03-31-weekly-progress-summary.md b/site/news/2025-03-31-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – March 31, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, workshop, edinburgh, ledger-design, cost-analysis, optimistic-validation, formal-methods, haskell-simulation, adversarial]
 ---
 
 This week, the Leios team met for an in-person workshop in Edinburgh and continued their efforts in refining the protocol and its simulation capabilities. The team made significant progress in addressing various topics.
diff --git a/site/news/2025-04-07-weekly-progress-summary.md b/site/news/2025-04-07-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – April 7, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, haskell-simulation, rust-simulation, workflow, optimization, analysis, workshop, edinburgh, conformance-testing]
 ---
 
 This week, the team continued refining the protocol and its simulation capabilities, making significant progress in addressing various topics.
diff --git a/site/news/2025-04-14-weekly-progress-summary.md b/site/news/2025-04-14-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – April 14, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, haskell-simulation, rust-simulation, mini-protocols, cost-dashboard, transaction-lifecycle, full-leios, network-protocols]
 ---
 
 This week, the team made substantial progress in both the Haskell and Rust simulations, refined cost estimates, and carried out detailed analyses of the transaction lifecycle and Full Leios simulations.
@@ -40,7 +40,7 @@ Key findings from the analysis:
 
 Potential next steps:
 - Translate the model into Delta QSD to capture network effects
-- Compare the model’s output with results from the Rust simulator
+- Compare the model's output with results from the Rust simulator
 - Extend the model to account for different memory pool and ledger variants under evaluation.
 
 ### Simulation and analysis of Full Leios
diff --git a/site/news/2025-04-21-weekly-progress-summary.md b/site/news/2025-04-21-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – April 21, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, simulation-analysis, protocol-development, economic-analysis, full-leios, mini-protocols, reward-sustainability, visualization]
 ---
 
 This week, the Leios team made significant progress in protocol development, focusing on simulation improvements, network protocol design, and economic analysis. The team completed extensive simulations across 648 scenarios, implemented new mini-protocols for Leios diffusion, and conducted important economic analysis regarding future reward sustainability.
diff --git a/site/news/2025-04-28-weekly-progress-summary.md b/site/news/2025-04-28-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – April 28, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, cip, documentation, transaction-lifecycle, rust-simulation, visualization, plutus, benchmarking]
 ---
 
 This week, the Leios team made significant progress in protocol documentation, simulation improvements, and transaction lifecycle analysis. The team completed a draft of the Leios CIP, enhanced simulation visualization capabilities, and conducted detailed analysis of transaction processing times in Full Leios.
diff --git a/site/news/2025-05-05-weekly-progress-summary.md b/site/news/2025-05-05-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – May 5, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, high-throughput, simulation-analysis, efficiency-metrics, security, profitability-analysis, rust-simulation, visualization]
 ---
 
 This week, the team focused on simulation analysis, security improvements, and protocol documentation, making significant progress across multiple areas.
diff --git a/site/news/2025-05-12-weekly-progress-summary.md b/site/news/2025-05-12-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – May 12, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, trace-verification, haskell-simulation, rust-simulation, code-review, transaction-processing, documentation, conformance-testing]
 ---
 
 This week, the team made significant progress on simulation improvements, trace verification, and a comprehensive analysis of Leios' transaction processing capacity.
diff --git a/site/news/2025-05-19-weekly-progress-summary.md b/site/news/2025-05-19-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – May 19, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, rust-simulation, transaction-inclusion, conformance-testing, formal-specification, documentation, transaction-lifecycle, agda]
 ---
 
 This week, the Leios team focused on improving simulation capabilities, enhancing transaction processing, and expanding the test coverage. The team made significant progress in addressing transaction inclusion rates and developing a comprehensive conformance testing framework.
diff --git a/site/news/2025-05-26-weekly-progress-summary.md b/site/news/2025-05-26-weekly-progress-summary.md
@@ -2,7 +2,7 @@
 title: Weekly Summary – May 26, 2025
 authors:
 - will
-tags: [progress, update, weekly]
+tags: [progress, update, weekly, overcollateralization, transaction-duplication, conflict-analysis, rust-simulation, transaction-lifecycle, data-processing, optimization]
 ---
 
 The Leios team completed significant analysis of overcollateralization schemes and continued advancing the Rust simulation infrastructure. The week focused on understanding transaction duplication and conflict probabilities in shardless scenarios, while also enhancing simulation tooling to better track transaction lifecycle events.
