Repository for research on Suave.

Testnet configurations and coordination for the Namada network.

💡 Compute and verify the SHA-256 random beacons used in the Zcash MPC ceremonies.

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

A framework for generalized shielded state transitions

Formalization of Typhon protocol

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

Reference implementation of Anoma

An implementation of a DKG protocol for front-running protection on Anoma.

the 10 second blog-engine for hackers

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

A language for intent-centric and declarative decentralised applications

Wyvern Protocol v3.1, Ethereum implementation

Consensus for Web3

Perform data science on data that remains in someone else's server

⟁ Tendermint Core (BFT Consensus) in Go

iD3: an Integrated Development Environment for D3.js

Decentralized Machine Learning Client

Ethereum on Tendermint using Cosmos-SDK!

The fast, light, and robust client for Ethereum-like networks.

Implementation of MapReduce in Rust-Lang