The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
- blockchain
- cosmos
- evm
- golang
Repository Index
59,621 visible repositories in the index
1–10 of 10 · Most stars
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
- blockchain
- fhe
- privacy
The quip network mining stack. This includes a coordinator and links all of the official quip network miners.
- cryptocurrency
- ising
- ising-model
- ising-spin-models
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
A Decentralized Operating System for ZK Applications
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Virto toolset to build simple to use decentralized applications
FUlly Decoupled Generic Environment for Substrate-chains
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Library to work with Waves blockchain :chains:
- waves
- wavesplatform
- blockchain
- rust