cartesi / machine-solidity-stepLinks
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
Sorting:
- Optimistic: Bedrock, is a protocol that strives to be an extremely simple optimistic rollup that maintains 1:1 compatibility with Ethereu…☆172Updated 2 years ago
- 🇪🇺 Smart contracts for the Core Module and the governance of the Angle Protocol☆91Updated last year
- ➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.☆171Updated 3 years ago
- ☆58Updated 7 months ago
- A showcase of Dark Forest plugins from the community!☆121Updated last year
- Repository for the second cohort of the apprenticeship program☆109Updated last year
- Building infinitely scalable decentralized applications☆97Updated 3 years ago
- Contracts, off-chain agents, and libraries for Nomad☆76Updated 3 years ago
- ☆86Updated 2 years ago
- Testing EIP-4844 on EL and CL clients☆58Updated 2 years ago
- ☆83Updated last year
- ⚡ The Fuel optimistic rollup in Yul+ for the Ethereum Virtual Machine☆88Updated 4 years ago
- 🔮 OPTimistic Interchain Communication☆120Updated last week
- Robust Incentives Group☆128Updated 6 months ago
- ☆80Updated 4 years ago
- IDEN3 smartcontracts☆97Updated 2 weeks ago
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated 2 years ago
- Element Protocol Smart Contracts☆104Updated last year
- This is an open source implementation of quadratic funding, a design for philanthropic and publicly-funded seeding, which allows for opti…☆79Updated 2 years ago
- Celestia -> EVM bridge☆137Updated 3 weeks ago
- ☆46Updated 3 years ago
- Ethereum Portal Network TypeScript implementation☆120Updated 3 months ago
- The reference smart contract implementation in Solidity for the LUKSO LSP Standards.☆78Updated last week
- FAQ about the Ethereum Roadmap☆97Updated 3 years ago
- yearn documentation☆87Updated this week
- Some experimental tools to manage validators - use at your own risk☆76Updated 2 weeks ago
- Huff implementation of the bn254 curve, for Ethereum smart contracts☆112Updated 6 years ago
- ArbOS operating system, to run at Layer 2 on Arbitrum chains. Also a compiler for Mini, the language in which ArbOS is written.☆94Updated 3 years ago
- Stylus VM and Fraud Prover☆119Updated last year
- Oasis Sapphire - the confidential EVM-compatible ParaTime for the Oasis Network☆61Updated this week