AVM
AVM green paper
Anoma Virtual Machine
access control
action
anoma
basic types
bytecode
capabilities
compliance
composition
consensus
consumed created
cross-chain integrity
cryptography
delta
distributed systems
distributed transactions
distribution
effect systems
errors
examples
execution context
hyperproperties
identities
instruction set
instrumentation
interaction trees
interfaces
interpreter
logic
low-level
nested objects
nonce
nullifier
primitives
program
programs
research
resource
resource consumption
resource logic
resource machine
resource ownership
runtime
security
semantics
serialization
snapshot isolation
specification
state
test
transaction
transactions
type theory
virtual machine
virtual machines
zero knowledge