Skip to content

Analytics

Updated: 2026-03-30 03:08:26

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


    15,565 unique views

  • Total Downloads


    10,538 downloads

  • Average Engagement


    555.9 views, 376.4 downloads per paper

Top 10 Most Downloaded Papers

Rank Paper Authors Views Downloads
1 Anoma Resource Machine Specification Khalniyazova, Yulia et al. 2640 1505
2 Intent Machines Hart, Anthony et al. 1720 920
3 Cross-Chain Integrity with Controller Labels and Endorsement Isaac, Sheff 1035 720
4 Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving Khalniyazova, Yulia 1470 671
5 Juvix to VampIR Pipeline Lukasz Czajka 692 562
6 Nock for Functional Programmers Czajka, Lukasz 500 551
7 Compiling to ZKVMs Centelles, Alberto 468 474
8 The Core language of Juvix Lukasz Czajka 678 458
9 Constraint Satisfaction Problems: A Survey for Anoma Hart, Anthony 713 441
10 Geb Pipeline Artem Gureev, Jonathan Prieto-Cubides 586 435

All Papers (by Views)

Paper Published Views Downloads
Anoma Resource Machine Specification June 25, 2024 2640 1505
Intent Machines January 31, 2026 1720 920
Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving October 02, 2023 1470 671
Cross-Chain Integrity with Controller Labels and Endorsement June 25, 2024 1035 720
Constraint Satisfaction Problems: A Survey for Anoma October 18, 2023 713 441
Juvix to VampIR Pipeline August 14, 2023 692 562
The Core language of Juvix August 29, 2023 678 458
Heterogeneous Paxos 2.0: the Specs December 04, 2024 611 411
Geb Pipeline August 21, 2023 586 435
Anoma: a unified architecture for full-stack decentralised applications August 24, 2023 555 430
Nock for Functional Programmers December 18, 2024 500 551
Slow Games: Policy Enforcement under Uncertainty September 15, 2024 472 372
Compiling to ZKVMs April 19, 2024 468 474
Compiling Juvix to Cairo Assembly September 10, 2024 382 236
Intent-centric Applications for the Anoma Resource Machine August 26, 2024 352 285
Message Logic December 04, 2024 306 303
Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge September 10, 2024 295 261
Rethinking VampIR August 29, 2023 293 177
Optimising Shielded State Synchronization with FMD and TEEs April 10, 2025 283 248
Heterogeneous Broadcast in Lean 4 November 14, 2025 246 39
Heterogeneous Narwhal and Paxos June 27, 2024 237 164
Anoma State Architecture December 04, 2024 223 230
VampIR Bestiary November 13, 2023 210 194
Dynamic Effective Timed Communication Systems March 06, 2025 207 196
Heterogeneous trust in reliable broadcast via modal logic and history structures November 25, 2025 159 168
Goose lean December 19, 2025 99 29
GOOSE: Good Object-Oriented System Experience December 19, 2025 69 52
Modal Logic for Declarative Distributed Algorithms in Lean 4 March 15, 2026 64 6

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