cartesi / machine-linux-imageLinks
Image for building kernel
☆14Updated 5 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☆98Updated this week
- Descartes SDK Tutorials☆15Updated 2 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆185Updated 2 years ago
- Creepts - Decentralized Tower Defense Game☆18Updated 2 years ago
- Cartesi Machine Manager Server repository☆15Updated 2 years ago
- Cartesi Compute SDK☆34Updated 2 years ago
- Playground for ZoKrates ZK Snark toolbox for Ethereum☆16Updated 6 years ago
- A Python microframework for building blockchain applications with Tendermint☆22Updated 7 years ago
- Capability-based security protocol for smart contracts☆23Updated 2 years ago
- Ring signature based voting for ETH Berlin hackathon☆29Updated 7 years ago
- A custom-designed distributed blockchain for sharing service☆21Updated last year
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- C++ library for zkSNARKs☆14Updated 8 years ago
- Cartesi Machine SDK☆21Updated 10 months ago
- Fairdrive is a dApp that enables decentralized storage on Swarm. It consists of a typical "Drive" interface with files and folders, and a…☆11Updated 3 years ago
- Runtime environment for Oasis services and EVM smart contracts☆46Updated 2 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 5 years ago
- The Python SDK for Terra.☆14Updated 4 years ago
- Official repo of the EVM LLVM project☆105Updated 3 years ago
- ☆38Updated 4 years ago
- Communal zk-SNARK MPC for Public Parameters☆19Updated 2 years ago
- 𝕊 The Secret Network☆30Updated 5 years ago
- This repository compiles the work that the BSC team does on Eth2.0.☆13Updated 2 years ago
- A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)☆28Updated 2 years ago
- Instructions for benchmarking Ewasm precompiles. (And results.)☆20Updated 5 years ago
- Home for Filecoin Research☆73Updated 3 years ago
- The on-chain implementation of the Cartesi Machine☆109Updated this week
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago