anoma/typhon-sml anoma/typhon-sml

  • Stars
    star
    2
  • Language Standard ML
  • Created about 1 year ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
anoma/typhon-sml
github

anoma

Reviews

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

Repository Details

Typhon reference implementation in Standard ML

More Repositories

1

namada

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

juvix

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

anoma-archive

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

namada-testnets

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

namada-trusted-setup-claimer

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

vamp-ir

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

taiga

A framework for generalized shielded state transitions
Rust
134
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
88
star
10

ferveo

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

namada-interface

TypeScript
77
star
12

whitepaper

TeX
59
star
13

namada-docs

MDX
48
star
14

namada-shielded-expedition

Python
42
star
15

typhon

Formalization of Typhon protocol
TLA
28
star
16

geb

A Categorical View of Computation
Idris
28
star
17

research

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

specs

Specifications for the Anoma protocols.
TeX
23
star
19

alucard

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

namada-indexer

Namada indexer to be used in conjunction with the namada interface
Rust
16
star
21

ethereum-bridge

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

minijuvix

Haskell
11
star
23

juvix-stdlib

The Juvix standard library
Makefile
9
star
24

VampIR-Book

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

masp-mpc

MASP MPC code
Rust
8
star
26

namada-mainnet-genesis

Python
7
star
27

namada-sdk-starter

Rust
6
star
28

juvix-nightly-builds

6
star
29

abstract-resource-machine-simulator

Makefile
6
star
30

anoma-alpha

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

juvix-e2e-demo

Juvix compiler stack - Integration demo
Dockerfile
6
star
32

exhibit_plonkup

Rust
5
star
33

devtool

Rust
4
star
34

anoma-blog

Jupyter Notebook
4
star
35

verify-beacon

Rust
3
star
36

vscode-juvix

VSCode extension for Juvix
TypeScript
3
star
37

dev-utils

Shell
3
star
38

namada-whitepaper

Namada whitepaper
3
star
39

juvix-docs

Juvix Official Documentation
Makefile
3
star
40

devchain-container

Shell
2
star
41

intents-snippets

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

Isabelle-HPaxos

A formalization of HPaxos in Isabelle
Isabelle
2
star
43

namada-genesis

Python
2
star
44

namada-masp-indexer

The Namada Masp Indexer reference implementation.
Rust
2
star
45

anoma-wasm-multitoken

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

wasm-workspace

Rust
2
star
47

namada-shielded-airdrop

Rust
2
star
48

anoma-blog-writing-guide

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

juvix-quickcheck

Property-based testing for Juvix
Makefile
2
star
50

plonkup-hash

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

juvix-mode

The Juvix Emacs mode
Emacs Lisp
1
star
52

vscode-vampir

1
star
53

anoma-app-lib

A library for intent-centric application development.
1
star
54

juvix-test

A testing framework for Juvix
Shell
1
star
55

juvix-anoma-test

A library for testing Anoma applications
1
star
56

juvix-containers

Immutable container types for Juvix
Makefile
1
star
57

highlightjs-juvix

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

art-template

Anoma Research Topics Template
TeX
1
star
59

juvix-anoma-stdlib

A Juvix library for writing Anoma applications
Makefile
1
star
60

namada-light-sdk-starter

Namada light sdk starter kit
Dockerfile
1
star
61

ART-2023-Gureev-Cubides-Geb-Pipeline

TeX
1
star