cartesi / machine-linux-imageLinks
Image for building kernel
☆14Updated 6 months ago
Alternatives and similar repositories for machine-linux-image
Users that are interested in machine-linux-image are comparing it to the libraries listed below
Sorting:
- Off-chain and On-chain dispute☆21Updated 2 years ago
- Creepts - Decentralized Tower Defense Game☆19Updated 2 years ago
- Descartes SDK Tutorials☆15Updated 2 years ago
- The off-chain implementation of the Cartesi Machine☆100Updated this week
- Hera: Ewasm virtual machine conforming to the EVMC API☆185Updated 2 years ago
- Starlog: Metadata Blockchain based on Substrate☆33Updated 6 years ago
- Capability-based security protocol for smart contracts☆23Updated 2 years ago
- A Python microframework for building blockchain applications with Tendermint☆22Updated 7 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- Some useful utilities to transform WebAssembly binaries.☆57Updated 5 years ago
- C++ library for zkSNARKs☆14Updated 8 years ago
- DEPRECATED in favor of EVM-Lite☆26Updated 7 years ago
- Parity Secret Store implementation☆25Updated 2 years ago
- The Python SDK for Terra.☆14Updated 4 years ago
- Zerocaf: A library built for EC operations in Zero Knowledge.☆52Updated 4 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 5 years ago
- want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.☆41Updated 7 months ago
- Cartesi Compute SDK☆34Updated 2 years ago
- Cartesi Machine SDK☆21Updated 11 months ago
- Anonymous RSA signatures☆67Updated 5 months ago
- Home for Filecoin Research☆73Updated 3 years ago
- [ORPHANED] Transcompiles EVM code to eWASM☆109Updated 6 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 5 years ago
- ☆25Updated 2 years ago
- datdot blockchain node in rust☆47Updated 2 years ago
- Cartesi Rollups☆30Updated 2 years ago
- Bitcoin's LevelDB branch☆19Updated 9 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.☆88Updated 5 years ago
- Implementation of the Perun protocol☆49Updated 5 years ago