Skip to content

Analytics

Updated: 2026-09-27 02:19:44

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

Summary Statistics (Since August 2023)

  • Total Papers


    30 unique publications

  • Total Views


    19,792 unique views

  • Total Downloads


    13,464 downloads

  • Average Engagement


    659.7 views, 448.8 downloads per paper

Top 10 Most Downloaded Papers

Rank Paper Authors Views Downloads
1 Anoma Resource Machine Specification Khalniyazova, Yulia et al. 3128 1700
2 Intent Machines Hart, Anthony et al. 2075 1129
3 Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving Khalniyazova, Yulia 1583 900
4 Cross-Chain Integrity with Controller Labels and Endorsement Isaac, Sheff 1221 798
5 Juvix to VampIR Pipeline Lukasz Czajka 887 758
6 Compiling to ZKVMs Centelles, Alberto 584 702
7 Nock for Functional Programmers Czajka, Lukasz 573 662
8 Heterogeneous Paxos 2.0: the Specs Karbyshev, Aleksandr et al. 819 593
9 The Core language of Juvix Lukasz Czajka 841 560
10 Anoma: a unified architecture for full-stack decentralised applications Christopher Goes, Awa Sun Yin et al. 746 528

All Papers (by Views)

Paper Published Views Downloads
Anoma Resource Machine Specification June 25, 2024 3128 1700
Intent Machines January 31, 2026 2075 1129
Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving October 02, 2023 1583 900
Cross-Chain Integrity with Controller Labels and Endorsement June 25, 2024 1221 798
Juvix to VampIR Pipeline August 14, 2023 887 758
The Core language of Juvix August 29, 2023 841 560
Constraint Satisfaction Problems: A Survey for Anoma October 18, 2023 834 522
Heterogeneous Paxos 2.0: the Specs December 04, 2024 819 593
Anoma: a unified architecture for full-stack decentralised applications August 24, 2023 746 528
Geb Pipeline August 21, 2023 677 501
Compiling to ZKVMs April 19, 2024 584 702
Nock for Functional Programmers December 18, 2024 573 662
Slow Games: Policy Enforcement under Uncertainty September 15, 2024 530 426
Compiling Juvix to Cairo Assembly September 10, 2024 492 311
Intent-centric Applications for the Anoma Resource Machine August 26, 2024 427 345
Heterogeneous trust in reliable broadcast via modal logic and history structures November 25, 2025 404 304
Modal Logic for Declarative Distributed Algorithms in Lean 4 May 18, 2026 399 97
Heterogeneous Broadcast in Lean 4 November 14, 2025 381 67
Message Logic December 04, 2024 378 359
Optimising Shielded State Synchronization with FMD and TEEs April 10, 2025 373 338
Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge September 10, 2024 368 363
Rethinking VampIR August 29, 2023 358 225
Heterogeneous Narwhal and Paxos June 27, 2024 333 228
Anoma State Architecture December 04, 2024 305 288
Dynamic Effective Timed Communication Systems March 06, 2025 285 270
VampIR Bestiary November 13, 2023 248 240
Goose lean December 19, 2025 176 71
GOOSE: Good Object-Oriented System Experience December 19, 2025 165 112
Consistent histories: enforcing linearity and excluding double-spending amongst collaborating controllers July 15, 2026 112 43
Consistent Histories in Lean 4 July 15, 2026 90 24

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