cartesi/machine-solidity-step external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

cartesi/machine-solidity-step

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/cartesi/machine-solidity-step)

Close

cartesi / machine-solidity-stepView on GitHubMore

• External links
• Readme badge

The on-chain implementation of the Cartesi Machine

☆109Updated this week

Alternatives and similar repositories for machine-solidity-step

Users that are interested in machine-solidity-step are comparing it to the libraries listed below

• cartesi / arbitration-dlib

  View on GitHub
  Off-chain and On-chain dispute
  ☆21Jul 13, 2023Updated 2 years ago
• cartesi / machine-manager

  View on GitHub
  Cartesi Machine Manager Server repository
  ☆15Jul 4, 2023Updated 2 years ago
• cartesi / compute-tutorials

  View on GitHub
  Descartes SDK Tutorials
  ☆15Jun 13, 2023Updated 2 years ago
• cartesi / compute

  View on GitHub
  Cartesi Compute SDK
  ☆34Nov 6, 2023Updated 2 years ago
• cartesi / grpc-interfaces

  View on GitHub
  Cartesi gRPC Interfaces
  ☆18Apr 16, 2024Updated last year
• cartesi / machine-tests

  View on GitHub
  Cartesi machine tests
  ☆17Dec 7, 2023Updated 2 years ago
• cartesi / machine-linux-image

  View on GitHub
  Image for building kernel
  ☆14May 30, 2025Updated 9 months ago
• cartesi / machine-emulator-rom

  View on GitHub
  Cartesi Machine Emulator ROM
  ☆13Oct 31, 2023Updated 2 years ago
• cartesi / machine-emulator-sdk

  View on GitHub
  Cartesi Machine SDK
  ☆21Jan 16, 2025Updated last year
• cartesi / demo

  View on GitHub
  A simple demo of the Cartesi Project
  ☆10Nov 4, 2019Updated 6 years ago
• cartesi / docs

  View on GitHub
  SDK documentation
  ☆33Feb 23, 2026Updated last week
• cartesi / machine-emulator

  View on GitHub
  The off-chain implementation of the Cartesi Machine
  ☆103Feb 21, 2026Updated last week
• cartesi / machine-guest-tools

  View on GitHub
  Set of tools to help the development
  ☆13Dec 16, 2025Updated 2 months ago
• tuler / deroll

  View on GitHub
  TypeScript framework for Cartesi applications
  ☆17Jul 28, 2025Updated 7 months ago
• Calindra / nonodo

  View on GitHub
  Development Node for Cartesi Rolups
  ☆23May 6, 2025Updated 9 months ago
• prototyp3-dev / cartesi-client

  View on GitHub
  ☆23Apr 17, 2024Updated last year
• taikoxyz / taiko-reth

  View on GitHub
  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
  ☆39Feb 11, 2026Updated 2 weeks ago
• gcolvin / evm-drag-race

  View on GitHub
  EVM performance tests for a range of clients
  ☆24Dec 27, 2019Updated 6 years ago
• prototyp3-dev / cartesapp

  View on GitHub
  ☆14Updated this week
• cartesi / dave

  View on GitHub
  Cartesi's permissionless fraud-proof system.
  ☆24Updated this week
• SabaEskandarian / PunchCard

  View on GitHub
  A privacy-preserving digital version of punch cards used in store loyalty programs
  ☆11Apr 19, 2021Updated 4 years ago
• cartesi / creepts-game

  View on GitHub
  A JS and Cartesi-compatible implementation of Creepts game
  ☆10Jul 23, 2025Updated 7 months ago
• celo-org / plumo-prover

  View on GitHub
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Jan 4, 2022Updated 4 years ago
• fxfactorial / eth-peers-tui

  View on GitHub
  ☆10Oct 2, 2021Updated 4 years ago
• cartesi / creepts-dapp

  View on GitHub
  Creepts - Decentralized Tower Defense Game
  ☆19Jan 24, 2023Updated 3 years ago
• cwcrypto / arwen-eth-contracts

  View on GitHub
  Ethereum Smart Contracts for Arwen payment channels
  ☆14Feb 12, 2022Updated 4 years ago
• drewstone / rust-miximus

  View on GitHub
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23May 6, 2019Updated 6 years ago
• Determinant / phd-dissertation

  View on GitHub
  My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems
  ☆15Sep 10, 2021Updated 4 years ago
• cartesi / explorer

  View on GitHub
  Cartesi Blockchain Explorer (Staking)
  ☆10Updated this week
• consensus-shipyard / fendermint

  View on GitHub
  IPC implementation atop CometBFT
  ☆17Jan 11, 2024Updated 2 years ago
• ZenGo-X / zengo-will

  View on GitHub
  ☆15May 27, 2021Updated 4 years ago
• zcash / sapling-mpc

  View on GitHub
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Jan 22, 2023Updated 3 years ago
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated last year
• iczc / rwctf-5th-realwrap

  View on GitHub
  RealWorld CTF 5th realwrap challenge
  ☆18May 21, 2023Updated 2 years ago
• opentimestamps / foxglove

  View on GitHub
  ☆18Sep 3, 2025Updated 5 months ago
• ZenGo-X / thresh-rust-u2f

  View on GitHub
  U2f implementation with threshold signatures
  ☆16Nov 24, 2020Updated 5 years ago
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• anemoi-hash / anemoi-hash

  View on GitHub
  Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
  ☆14Jul 9, 2023Updated 2 years ago
• lightclient / erc20

  View on GitHub
  erc20 impl in evm assembly
  ☆69May 24, 2024Updated last year