cartesi / machine-linux-imageLinks
Image for building kernel
☆14Updated 4 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
- The off-chain implementation of the Cartesi Machine☆90Updated this week
- Cartesi Compute SDK☆34Updated last year
- The Python SDK for Terra.☆14Updated 4 years ago
- Cartesi Rollups☆30Updated last year
- Cartesi Machine Manager Server repository☆15Updated 2 years ago
- Starlog: Metadata Blockchain based on Substrate☆33Updated 6 years ago
- Creepts - Decentralized Tower Defense Game☆18Updated 2 years ago
- Parity Secret Store implementation☆24Updated 2 years ago
- Cartesi Machine SDK☆21Updated 9 months ago
- ☆25Updated 2 years ago
- A Python microframework for building blockchain applications with Tendermint☆22Updated 7 years ago
- A MetaMask-compatible Chrome extension to enable Ledger Wallets to use Ethereum Dapps☆26Updated 7 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 5 years ago
- Capability-based security protocol for smart contracts☆23Updated 2 years ago
- DEPRECATED in favor of EVM-Lite☆26Updated 7 years ago
- Privacy layer for blockchain and decentralized applications based on proxy re-encryption☆67Updated 4 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆184Updated 2 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- WIP PoC verification system for the Livepeer protocol using Truebit☆16Updated 7 years ago
- BOLOS community enclave for SGX & simulator☆36Updated 5 years ago
- Safe Network DBCs☆15Updated 3 months ago
- ☆32Updated 8 years ago
- Tool for testing Polkadot Relay Chain Runtimes☆13Updated 5 years ago
- Oracle feeder service (presently supporting Terra)☆14Updated 2 years ago
- Ring signature based voting for ETH Berlin hackathon☆29Updated 7 years ago
- Low-level language for encoding AIR of computations☆38Updated 2 years ago
- Checklist for assessing Tezos smart contracts' security☆12Updated 2 years ago
- Set of functions for golang verification of zkSNARKs☆31Updated 7 years ago