FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
Repository Index
47,133 repositories indexed
1–24 of 33 · Most stars
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
- hyperledger
- fabric
- blockchain
- distributed-ledger
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
A full stack for bitcoin and blockchain-based applications
Framework for serverless Decentralized Applications using Ethereum, IPFS and other platforms
A p2p, secure file storage, social network and application protocol
- java
- peer-to-peer
- encryption
- social-network
⛓️ Reference Waves Blockchain Node (client) implementation on Scala
- blockchain
- cryptography
- smart-contracts
- decentralized-applications
Source code verification service for Ethereum smart contracts
- verification
- ethereum
- smart-contracts
- solidity
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Smart contracts which are formally verified
A pure swift Ethereum Web3 library
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
K Semantics of the Ethereum Virtual Machine (EVM)
Anchor Wallet desktop app for Vaulta (formerly EOS), WAX, Telos and other Antelope networks
- eosio
- wallet
- authenticator
- eosio-signing-request
Connect to applications on EOS, Ethereum, and Tron. Exchange tokens with ease. Manage your assets safely. All in a simple to use interface.
- blockchain
- blockchain-technology
- cryptocurrency
- eos
Go implementation of Waves node, libraries and tools for Waves blockchain
- blockchain
- cryptography
- decentralized-applications
- smart-contracts
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Translated麦麦一起点 (Maimai Yiqi Dian, "Order Together with McMcD"): students at special education schools for intellectual disabilities use pictures to express their choices, and parents take over to check them. A McDonald's MCP ordering communication prototype.
- accessibility
- mcp
- special-education
.NET standard library for building blockchain enabled applications
Write enterprise Bitcoin applications with Spring Boot. Starter projects with multiple Bitcoin related modules that you can include in your application.
- bitcoin
- lightning
- spring-boot
- java
iOS reference app demonstrating inter-application transaction signing for EOSIO blockchain apps
Simple educational blockchain in Common LIsp
- lisp
- blockchain
- common-lisp
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
Native implementation of client to eos blockchain communication.