Specification of the constraint system underlying Linea's zkEVM
☆29Feb 26, 2026Updated this week
Alternatives and similar repositories for linea-specification
Users that are interested in linea-specification are comparing it to the libraries listed below
Sorting:
- The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generat…☆112Updated this week
- Documentation of the Verax Project☆12Dec 2, 2025Updated 3 months ago
- Linea Sequencer Implementation☆34May 28, 2025Updated 9 months ago
- A template repository for creating new Consensys doc sites. Contains a guide for contributing to and creating documentation.☆17Feb 6, 2026Updated 3 weeks ago
- Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…☆57Updated this week
- Orchestrate is a blockchain Transaction Orchestration system that can operate multiple chains simultaneously☆22Jun 24, 2024Updated last year
- This is a online tool for you to record down every single leetcode problem you have done.☆18Updated this week
- The GitHub bio of Tinotenda Mhedziso | Software Developer | Coding Enthusiast | Open Source Member☆13Jan 30, 2026Updated last month
- ☆21May 19, 2024Updated last year
- ☆15Nov 20, 2025Updated 3 months ago
- A graphical tool for viewing stdout as a spreadsheet.☆10Sep 7, 2021Updated 4 years ago
- VSCode Debug Adapter for Ravi / Lua 5.3☆14Aug 8, 2021Updated 4 years ago
- Visual Studio Code extension for SECBIT Solidity Static Analyzer☆11Mar 30, 2019Updated 6 years ago
- 🎒React UX components for handling common interactions☆12Jan 27, 2023Updated 3 years ago
- notefleex is a markdown-first notes app built with React☆14Updated this week
- print a markdown list of authors/contributors to your git repo, including github usernames. uses node.js!☆41Apr 19, 2017Updated 8 years ago
- A Snap to track your Linea Voyage progress in MetaMask☆14Feb 16, 2026Updated 2 weeks ago
- ☆11Dec 28, 2021Updated 4 years ago
- React UI component library for aleph/followthemoney☆12Nov 22, 2022Updated 3 years ago
- A CLI for Ethereum with a focus on portability☆10Jun 13, 2023Updated 2 years ago
- Nest an external GraphQL Endpoint in your schema☆13Apr 22, 2025Updated 10 months ago
- Anoma application examples☆15May 23, 2025Updated 9 months ago
- A simple graph explorer leveraging yFiles for HTML, neo4j bolt, implemented using VueJS and Vuetify☆12Apr 4, 2023Updated 2 years ago
- Help you digest the Vega output in a dead simple way.☆14Jul 27, 2022Updated 3 years ago
- golang implements for BIP32-Ed25519☆14Feb 20, 2026Updated last week
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Feb 19, 2026Updated last week
- lessons learned from smart contract audits.☆12Dec 31, 2020Updated 5 years ago
- ☆17Jun 3, 2022Updated 3 years ago
- A C compiler, written in Rust.☆10Feb 13, 2022Updated 4 years ago
- ☆16Dec 10, 2025Updated 2 months ago
- Research on fee markets and resource allocation in blockchains.☆10Mar 14, 2023Updated 2 years ago
- Reconstruction of the Akropolis Delphi reentrancy exploit☆10Mar 25, 2021Updated 4 years ago
- Discrete event simulator built in Rust 🦀☆13Jun 10, 2023Updated 2 years ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Oct 21, 2022Updated 3 years ago
- Compare Bloxroute and Fiber transaction streams☆10Nov 22, 2024Updated last year
- IRIS Worm is a real-time data graphing component.☆12Nov 20, 2020Updated 5 years ago
- ☆16Apr 24, 2024Updated last year
- Visualize yabai window stacks on macOS. Works with yabai & hammerspoon.☆11Aug 28, 2023Updated 2 years ago
- Browser neural network based on handwritten numbers☆31Dec 23, 2024Updated last year