Anoma

An intent-centric architecture for decentralized counterparty discovery, solving, information flow control, & multi-chain atomic settlement

Pinned Repositories

anoma-archive
Reference implementation of the Anoma protocols in Rust.
Language:Rust426 57 411176
juvix
A language for intent-centric and declarative decentralised applications
Language:Haskell448 24 77754
namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Language:Rust2.4k 110 1.2k946
namada-testnets
Testnet configurations and coordination for the Namada network.
327 10 51.6k
namada-trusted-setup
Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers
Language:Rust115 7 3164
namada-trusted-setup-claimer
Sign arbitrary messages with keys obtained from Namada's trusted setup
Language:Rust320 15 1146
taiga
A framework for generalized shielded state transitions
Language:Rust141 23 9824
vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Language:Rust154 8 6344
whitepaper
Language:TeX59 22 016
zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
Language:Rust118 25 1013

Anoma's Repositories

anoma/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Language:Rust2.4k 110 1.2k946
anoma/juvix
A language for intent-centric and declarative decentralised applications
Language:Haskell448 24 77754
anoma/taiga
A framework for generalized shielded state transitions
Language:Rust141 23 9824
anoma/masp
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
Language:Rust88 20 1626
anoma/namada-interface
Language:TypeScript77 18 50898
anoma/namada-docs
Language:MDX48 20 4578
anoma/geb
A Categorical View of Computation
Language:Idris28 20 4310
anoma/namada-indexer
Namada indexer to be used in conjunction with the namada interface
Language:Rust16 15 56
anoma/juvix-stdlib
The Juvix standard library
Language:Makefile9 7 171
anoma/namada-mainnet-genesis
Language:Python7172
anoma/juvix-nightly-builds
6 4 13
anoma/anoma-blog
Language:Jupyter Notebook4 15 42
anoma/namada-genesis
Language:Python3 3 01
anoma/vscode-juvix
VSCode extension for Juvix
Language:TypeScript3 20 882
anoma/juvix-quickcheck
Property-based testing for Juvix
Language:Makefile2 3 11
anoma/namada-masp-indexer
The Namada Masp Indexer reference implementation.
Language:Rust2 14 3
anoma/anoma-app-patterns
A library for intent-centric application development.
1
anoma/ART-2024-Khalniyazova-Goes-Resource-Machine-Specification
Language:TeX1
anoma/art-template
Anoma Research Topics Template
Language:TeX1 17 92
anoma/juvix-anoma-stdlib
A Juvix library for writing Anoma applications
Language:Makefile1 18 3
anoma/juvix-anoma-test
A library for testing Anoma applications
1 16 4
anoma/juvix-containers
Immutable container types for Juvix
Language:Makefile1 3 23
anoma/juvix-mode
The Juvix Emacs mode
Language:Emacs Lisp1 16 61
anoma/juvix-test
A testing framework for Juvix
Language:Shell1 3 12
anoma/homebrew-juvix
Homebrew tap for installing the Juvix compiler
Language:Ruby0 3 22
anoma/aarm-cairo
Language:Rust10 1
anoma/ART-2024-Heuer-Reusche-Cubides-Resource-Machine-Applications
Language:TeX
anoma/juvix-installer
Juvix Binary installer
Language:Shell5 11
anoma/juvix-mkdocs
Highlight Juvix codeblocks in Mkdocs websites
Language:Python3 42
anoma/namada-governance-upgrades
Language:Rust17 1