Repository Index

FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications

• blockchain
• fhe
• privacy

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

• rust
• solidity
• evm
• testing

🦁 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

• aleo
• blockchain
• cryptography
• zero-knowledge

Internet Computer blockchain source: the client/replica software run by nodes

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

• substrate
• blockchain