Skip to content

Analytics

Updated: 2026-06-29 03:13:32

This page shows usage statistics for all published ARTs, including views and downloads from Zenodo.

Summary Statistics (Since August 2023)

  • Total Papers


    28 unique publications

  • Total Views


    17,560 unique views

  • Total Downloads


    11,869 downloads

  • Average Engagement


    627.1 views, 423.9 downloads per paper

Top 10 Most Downloaded Papers

Rank Paper Authors Views Downloads
1 Anoma Resource Machine Specification Khalniyazova, Yulia et al. 2823 1610
2 Intent Machines Hart, Anthony et al. 1889 1037
3 Cross-Chain Integrity with Controller Labels and Endorsement Isaac, Sheff 1155 755
4 Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving Khalniyazova, Yulia 1536 721
5 Juvix to VampIR Pipeline Lukasz Czajka 789 661
6 Nock for Functional Programmers Czajka, Lukasz 544 609
7 Compiling to ZKVMs Centelles, Alberto 520 574
8 The Core language of Juvix Lukasz Czajka 753 501
9 Constraint Satisfaction Problems: A Survey for Anoma Hart, Anthony 791 496
10 Heterogeneous Paxos 2.0: the Specs Karbyshev, Aleksandr et al. 719 492

All Papers (by Views)

Paper Published Views Downloads
Anoma Resource Machine Specification June 25, 2024 2823 1610
Intent Machines January 31, 2026 1889 1037
Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving October 02, 2023 1536 721
Cross-Chain Integrity with Controller Labels and Endorsement June 25, 2024 1155 755
Constraint Satisfaction Problems: A Survey for Anoma October 18, 2023 791 496
Juvix to VampIR Pipeline August 14, 2023 789 661
The Core language of Juvix August 29, 2023 753 501
Heterogeneous Paxos 2.0: the Specs December 04, 2024 719 492
Anoma: a unified architecture for full-stack decentralised applications August 24, 2023 637 471
Geb Pipeline August 21, 2023 627 466
Nock for Functional Programmers December 18, 2024 544 609
Compiling to ZKVMs April 19, 2024 520 574
Slow Games: Policy Enforcement under Uncertainty September 15, 2024 495 393
Compiling Juvix to Cairo Assembly September 10, 2024 449 271
Intent-centric Applications for the Anoma Resource Machine August 26, 2024 391 316
Message Logic December 04, 2024 331 331
Rethinking VampIR August 29, 2023 326 199
Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge September 10, 2024 321 283
Optimising Shielded State Synchronization with FMD and TEEs April 10, 2025 320 288
Heterogeneous trust in reliable broadcast via modal logic and history structures November 25, 2025 312 260
Heterogeneous Broadcast in Lean 4 November 14, 2025 305 48
Heterogeneous Narwhal and Paxos June 27, 2024 283 193
Modal Logic for Declarative Distributed Algorithms in Lean 4 May 18, 2026 261 60
Anoma State Architecture December 04, 2024 260 252
Dynamic Effective Timed Communication Systems March 06, 2025 245 239
VampIR Bestiary November 13, 2023 227 212
Goose lean December 19, 2025 139 48
GOOSE: Good Object-Oriented System Experience December 19, 2025 112 83

About These Statistics

  • Views: Unique views counted within 1-hour time windows
  • Downloads: Unique file downloads counted within 1-hour time windows
  • Bot traffic is automatically filtered out by Zenodo
  • Statistics are fetched directly from Zenodo's API
  • Data refresh: Cache updates every 24 hours when the site is rebuilt
  • Note: Only the latest version of each paper is shown to avoid duplication