Welcome to ART

Anoma Research Topics (ART) is an open-access, peer-reviewed index of research and development focused on distributed systems, cryptography, compilers, and Anoma related topics. It is community-driven and primarily features contributions from Anoma researchers, but external submissions are more than welcome.

• Recent ARTs (Updated: 2024-04-29 02:13:45)

  ---

  Compiling to ZKVMs

       zero-knowledge proofs, zkVM, virtual machines, privacy-preserving computation

  Intent Machines

       intent machine, user intentions, automation, machine learning

  Anoma Resource Machine Specification

       anoma, blockchain technology, protocol design, resource machine

  VampIR Bestiary

       VAMP-IR, Intermediate Representations, Three-address code (3AC), Rank-1 Constraint System (R1CS), AirScript

  Full list of ARTs