Pinned Repositories
anoma-network-config
anoma network configuration
ark-plonk
A pure Rust PLONK implementation using arkworks as a backend.
extensible-data
Generate the boilerplate for the Trees That Grow pattern
hermes
IBC Relayer in Rust
kzg-setup-powersoftau
namada-faucet
namada-wallet-go
Alternative Namada wallet in Go
plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
rescript-react-feather
ReScript bindings generator for the react-feather icon library
sparse-merkle-tree
An optimized sparse merkle tree.
Heliax's Repositories
heliaxdev/namada-faucet
heliaxdev/sparse-merkle-tree
An optimized sparse merkle tree.
heliaxdev/hermes
IBC Relayer in Rust
heliaxdev/index-set
A sparse bit set Rust crate
heliaxdev/smooth-operator
Rust checked arithmetic without the visual clutter
heliaxdev/halo2
heliaxdev/namada-shielded-expedition-score-extractor
heliaxdev/genesis
heliaxdev/bitcoin-suisse-tx
heliaxdev/bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
heliaxdev/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
heliaxdev/cosmos-ibc-rs
Rust implementation of the Inter-Blockchain Communication (IBC) protocol.
heliaxdev/earthly-lib
heliaxdev/earthly-satellite-iac
heliaxdev/interchaintest
e2e testing framework for the interchain
heliaxdev/jubjub
Implementation of the Jubjub elliptic curve group
heliaxdev/ledger-namada
heliaxdev/mab-template-namada
Namada template for https://codeberg.org/sugo/mab
heliaxdev/namada-antithesis
heliaxdev/namada-ci
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
heliaxdev/namada-mainnet-genesis-test
heliaxdev/namada-network-templates
heliaxdev/namada-scenario-tester
heliaxdev/nervos-sparse-merkle-tree
heliaxdev/num-traits
Numeric traits for generic mathematics in Rust
heliaxdev/reddsa
A minimal RedDSA implementation for use in Zebra and zcashd.
heliaxdev/rust-ledger
Rust communication libraries for Ledger Hardware Wallet application development
heliaxdev/tiny-hderive
Tiny BIP44/BIP32 derivation for BIP39 seeds
heliaxdev/tower-abci
Tower-based ABCI interface.
heliaxdev/wasmer
🚀 The leading WebAssembly Runtime supporting WASI and Emscripten