cartesi / machine-linux-imageLinks
Image for building kernel
☆14Updated 8 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
- The off-chain implementation of the Cartesi Machine☆102Updated this week
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 7 years ago
- Creepts - Decentralized Tower Defense Game☆19Updated 3 years ago
- Descartes SDK Tutorials☆15Updated 2 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆186Updated 3 years ago
- Communal zk-SNARK MPC for Public Parameters☆19Updated 2 years ago
- Cartesi Machine SDK☆21Updated last year
- Cartesi Compute SDK☆34Updated 2 years ago
- Modular p2p messaging stack, with a focus on secure messaging.☆115Updated last year
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 4 years ago
- A custom-designed distributed blockchain for sharing service☆21Updated 3 weeks ago
- Cartesi Rollups☆30Updated 2 years ago
- A Python microframework for building blockchain applications with Tendermint☆22Updated 7 years ago
- Ring signature based voting for ETH Berlin hackathon☆29Updated 7 years ago
- Zerocaf: A library built for EC operations in Zero Knowledge.☆52Updated 4 years ago
- Compete on the fastest replication algorithm☆59Updated 6 years ago
- Home for Filecoin Research☆73Updated 3 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System☆41Updated 6 years ago
- Arithmetic and polynomial operations in finite fields.☆42Updated 3 years ago
- Starlog: Metadata Blockchain based on Substrate☆33Updated 6 years ago
- DEPRECATED in favor of EVM-Lite☆26Updated 7 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- OneLedger Universal Protocol☆40Updated 2 years ago
- want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.☆41Updated 9 months ago
- Public working documents (e.g., Internet drafts)☆26Updated 7 years ago
- Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.☆89Updated 6 years ago
- A golang implementation of a sparse merkle tree☆56Updated 7 years ago
- Low-level language for encoding AIR of computations☆38Updated 2 years ago
- Privacy layer for blockchain and decentralized applications based on proxy re-encryption☆67Updated 4 years ago