Skip to content

Analytics

Updated: 2026-04-15 03:17:46

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,852 unique views

  • Total Downloads


    10,685 downloads

  • Average Engagement


    566.1 views, 381.6 downloads per paper

Top 10 Most Downloaded Papers

Rank Paper Authors Views Downloads
1 Anoma Resource Machine Specification Khalniyazova, Yulia et al. 2663 1514
2 Intent Machines Hart, Anthony et al. 1743 939
3 Cross-Chain Integrity with Controller Labels and Endorsement Isaac, Sheff 1053 722
4 Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving Khalniyazova, Yulia 1482 677
5 Juvix to VampIR Pipeline Lukasz Czajka 700 566
6 Nock for Functional Programmers Czajka, Lukasz 506 558
7 Compiling to ZKVMs Centelles, Alberto 482 483
8 The Core language of Juvix Lukasz Czajka 688 461
9 Constraint Satisfaction Problems: A Survey for Anoma Hart, Anthony 729 449
10 Geb Pipeline Artem Gureev, Jonathan Prieto-Cubides 589 435

All Papers (by Views)

Paper Published Views Downloads
Anoma Resource Machine Specification June 25, 2024 2663 1514
Intent Machines January 31, 2026 1743 939
Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving October 02, 2023 1482 677
Cross-Chain Integrity with Controller Labels and Endorsement June 25, 2024 1053 722
Constraint Satisfaction Problems: A Survey for Anoma October 18, 2023 729 449
Juvix to VampIR Pipeline August 14, 2023 700 566
The Core language of Juvix August 29, 2023 688 461
Heterogeneous Paxos 2.0: the Specs December 04, 2024 635 414
Geb Pipeline August 21, 2023 589 435
Anoma: a unified architecture for full-stack decentralised applications August 24, 2023 570 432
Nock for Functional Programmers December 18, 2024 506 558
Compiling to ZKVMs April 19, 2024 482 483
Slow Games: Policy Enforcement under Uncertainty September 15, 2024 476 375
Compiling Juvix to Cairo Assembly September 10, 2024 389 237
Intent-centric Applications for the Anoma Resource Machine August 26, 2024 357 289
Message Logic December 04, 2024 310 303
Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge September 10, 2024 299 263
Rethinking VampIR August 29, 2023 298 177
Optimising Shielded State Synchronization with FMD and TEEs April 10, 2025 285 251
Heterogeneous Broadcast in Lean 4 November 14, 2025 253 40
Heterogeneous Narwhal and Paxos June 27, 2024 241 165
Anoma State Architecture December 04, 2024 227 231
Dynamic Effective Timed Communication Systems March 06, 2025 215 207
VampIR Bestiary November 13, 2023 212 195
Heterogeneous trust in reliable broadcast via modal logic and history structures November 25, 2025 197 194
Goose lean December 19, 2025 105 33
Modal Logic for Declarative Distributed Algorithms in Lean 4 March 15, 2026 75 16
GOOSE: Good Object-Oriented System Experience December 19, 2025 73 59

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