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
- Cartesi Compute SDK☆34Updated last year
- The off-chain implementation of the Cartesi Machine☆90Updated last week
- Creepts - Decentralized Tower Defense Game☆18Updated 2 years ago
- Cartesi Machine Manager Server repository☆15Updated 2 years ago
- DEPRECATED in favor of EVM-Lite☆26Updated 6 years ago
- Zerocaf: A library built for EC operations in Zero Knowledge.☆53Updated 4 years ago
- Arithmetic and polynomial operations in finite fields.☆42Updated 2 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆184Updated 2 years ago
- Privacy layer for blockchain and decentralized applications based on proxy re-encryption☆67Updated 4 years ago
- ☆25Updated 2 years ago
- Cartesi Rollups☆30Updated last year
- Home for Filecoin Research☆73Updated 3 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- Playground for ZoKrates ZK Snark toolbox for Ethereum☆16Updated 6 years ago
- Ring signature based voting for ETH Berlin hackathon☆29Updated 7 years ago
- Modular p2p messaging stack, with a focus on secure messaging.☆115Updated last year
- C crypto library☆24Updated 2 years ago
- Capability-based security protocol for smart contracts☆23Updated 2 years ago
- ☆21Updated 5 years ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 3 years ago
- Starlog: Metadata Blockchain based on Substrate☆33Updated 6 years ago
- Anonymous RSA signatures☆67Updated 2 months ago
- Cartesi Machine SDK☆21Updated 8 months ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- Utilities for creating, parsing, and validating IPNS records☆40Updated 2 years ago
- A minimal RedJubjub implementation for use in Zebra.☆29Updated 2 weeks ago
- 🔍Wireshark dissectors for Ethereum devp2p protocols☆120Updated 3 years ago