cartesi / machine-linux-imageLinks
Image for building kernel
☆14Updated 3 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
- Descartes SDK Tutorials☆15Updated 2 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆184Updated 2 years ago
- The off-chain implementation of the Cartesi Machine☆88Updated last week
- Creepts - Decentralized Tower Defense Game☆18Updated 2 years ago
- The Python SDK for Terra.☆14Updated 4 years ago
- DEPRECATED in favor of EVM-Lite☆26Updated 6 years ago
- Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.☆90Updated 5 years ago
- ☆25Updated 2 years ago
- Anonymous RSA signatures☆67Updated 2 months ago
- Zerocaf: A library built for EC operations in Zero Knowledge.☆53Updated 4 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆74Updated 7 years ago
- A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)☆28Updated 2 years ago
- 🔍Wireshark dissectors for Ethereum devp2p protocols☆120Updated 3 years ago
- Elliptic Curve Implementation in Solidity☆81Updated 7 years ago
- Playground for ZoKrates ZK Snark toolbox for Ethereum☆16Updated 6 years ago
- C++ library for zkSNARKs☆14Updated 8 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System☆40Updated 6 years ago
- Home for Filecoin Research☆73Updated 3 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Capability-based security protocol for smart contracts☆23Updated 2 years ago
- Ethereum Token Implementing RingCT☆24Updated 7 years ago
- Ring signature based voting for ETH Berlin hackathon☆29Updated 6 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- [ORPHANED] Transcompiles EVM code to eWASM☆109Updated 6 years ago
- Cross chain atomic trades protocol and api for trades between Stellar and Ethereum☆36Updated 7 years ago
- Privacy layer for blockchain and decentralized applications based on proxy re-encryption☆67Updated 3 years ago
- Arithmetic and polynomial operations in finite fields.☆40Updated 2 years ago
- A simple demo of the Cartesi Project☆10Updated 5 years ago
- WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programmi…☆57Updated 7 years ago