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
58,632 visible repositories in the index
1–6 of 6 · Most stars
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
- blockchain
- blockchain-network
- move
- smart-contracts
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
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal