anoma/specs anoma/specs

  • Stars
    star
    23
  • Rank 985,721 (Top 20 %)
  • Language
    TeX
  • License
    GNU General Publi...
  • Created almost 3 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
anoma/specs
github

anoma

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Specifications for the Anoma protocols.

More Repositories

1

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Rust
2,374
star
2

juvix

A language for intent-centric and declarative decentralised applications
Haskell
436
star
3

anoma-archive

Reference implementation of the Anoma protocols in Rust.
Rust
422
star
4

namada-testnets

Testnet configurations and coordination for the Namada network.
329
star
5

namada-trusted-setup-claimer

Sign arbitrary messages with keys obtained from Namada's trusted setup
Rust
322
star
6

vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Rust
152
star
7

taiga

A framework for generalized shielded state transitions
Rust
120
star
8

zkp-compiler-shootout

Evaluating & benchmarking ZKP compilation strategies.
Rust
118
star
9

masp

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
Rust
83
star
10

ferveo

An implementation of a DKG protocol for front-running protection on Anoma.
Rust
77
star
11

namada-interface

TypeScript
73
star
12

whitepaper

TeX
57
star
13

namada-docs

MDX
47
star
14

namada-shielded-expedition

Python
41
star
15

geb

A Categorical View of Computation
Idris
28
star
16

typhon

Formalization of Typhon protocol
TLA
25
star
17

research

Early-stage research related to the Anoma protocols.
Idris
23
star
18

alucard

A common lisp DSL for writing zero knowledge circuits
Common Lisp
18
star
19

ethereum-bridge

A generalized fully trustless Ethereum bridge for sovereign chains.
Solidity
12
star
20

minijuvix

Haskell
11
star
21

juvix-stdlib

The Juvix standard library
Makefile
9
star
22

VampIR-Book

A book which can act as an introduction and documentation for VampIR
CSS
9
star
23

masp-mpc

MASP MPC code
Rust
8
star
24

namada-sdk-starter

Rust
6
star
25

juvix-nightly-builds

6
star
26

abstract-resource-machine-simulator

Makefile
6
star
27

anoma-alpha

An intent-centric, privacy-preserving protocol for decentralized counterparty discovery, solving, and multi-chain atomic settlement.
Rust
6
star
28

juvix-e2e-demo

Juvix compiler stack - Integration demo
Dockerfile
6
star
29

exhibit_plonkup

Rust
5
star
30

devtool

Rust
4
star
31

anoma-blog

JavaScript
4
star
32

verify-beacon

Rust
3
star
33

namada-whitepaper

Namada whitepaper
3
star
34

dev-utils

Shell
3
star
35

juvix-docs

Juvix Official Documentation
Makefile
3
star
36

devchain-container

Shell
2
star
37

intents-snippets

A repo to put code snippets related to intent research
Agda
2
star
38

typhon-sml

Typhon reference implementation in Standard ML
Standard ML
2
star
39

vscode-juvix

VSCode extension for Juvix
TypeScript
2
star
40

anoma-wasm-multitoken

Validity predicate and transactions for a variable supply multitoken account
Rust
2
star
41

wasm-workspace

Rust
2
star
42

anoma-blog-writing-guide

Comprehensive guide to writing blogposts for the anoma blog.
2
star
43

juvix-mode

The Juvix Emacs mode
Emacs Lisp
1
star
44

plonkup-hash

A collection of hash gadgets written for Plonkup
Rust
1
star
45

Isabelle-HPaxos

A formalization of HPaxos in Isabelle
Isabelle
1
star
46

vscode-vampir

1
star
47

juvix-containers

Immutable container types for Juvix
Makefile
1
star
48

highlightjs-juvix

Juvix language grammars for highlightjs (low maintenance)
JavaScript
1
star
49

art-template

Anoma Research Topics Template
TeX
1
star
50

ART-2024-Khalniyazova-Goes-Resource-Machine-Specification

TeX
1
star
51

juvix-quickcheck

Property-based testing for Juvix
Makefile
1
star
52

namada-light-sdk-starter

Namada light sdk starter kit
Dockerfile
1
star
53

ART-2023-Gureev-Cubides-Geb-Pipeline

TeX
1
star