Former repository for the specification of the constraint system underlying Linea's zkEVM
☆30Jun 8, 2026Updated 3 months ago
Alternatives and similar repositories for linea-specification
Users that are interested in linea-specification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Former repository for the implementation of the constraint system of Linea☆36May 21, 2026Updated 4 months ago
- The principal Lineth repository. Lineth is an enterprise-grade EVM layer 2 framework for developing public, permissioned or private netwo…☆126Updated this week
- Former repository for the Linea Tracer, a component in Linea's stack which constructs execution traces, large matrices assembled from dat…☆56May 21, 2026Updated 4 months ago
- Former repository for Maru, a Consensus layer client implementing QBFT protocol adhering to Eth 2.0 CL / EL separation and API☆20May 21, 2026Updated 4 months ago
- Linea ENS compatible with ENS on Ethereum☆26Feb 18, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Archived - Lisp-based DSL (Domain-Specific Language), designed to implement constraint systems in the context of zero-knowledge proof sys…☆21Dec 1, 2025Updated 9 months ago
- Archived in favour of the linea-attestation-registry repository☆12Feb 27, 2026Updated 6 months ago
- This plugin enhances Hashicorp Vault Service with cryptographic operations to create, import and sign using different type of keypairs an…☆19Jun 24, 2024Updated 2 years ago
- ☆10Apr 10, 2023Updated 3 years ago
- ☆37Jul 28, 2026Updated last month
- ☆18Jun 3, 2022Updated 4 years ago
- Anoma application examples☆16May 23, 2025Updated last year
- XMTP☆18Jul 9, 2026Updated 2 months ago
- ☆12May 1, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This is a online tool for you to record down every single leetcode problem you have done.☆17Jun 22, 2026Updated 3 months ago
- A Snap to track your Linea Voyage progress in MetaMask☆14Feb 16, 2026Updated 7 months ago
- Security contacts and disclosure reports☆14Feb 13, 2023Updated 3 years ago
- Part II of the tutorial for making a PoC in foundry for Immunefi☆12Aug 29, 2022Updated 4 years ago
- Solidity error logging☆24Sep 21, 2021Updated 5 years ago
- ☆56Aug 25, 2026Updated 3 weeks ago
- Ethereum signer documentation site☆21Sep 15, 2026Updated last week
- ZKsync protocol libraries☆22Aug 25, 2026Updated 3 weeks ago
- Realtime Text To Image☆19Nov 14, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Thing what most of the developers just dream of☆16Aug 31, 2023Updated 3 years ago
- Linea implementation based on Besu☆71Oct 31, 2025Updated 10 months ago
- A smart contract that wraps WETH that adds functionality for transparently dealing in WETH☆22Jul 20, 2020Updated 6 years ago
- ☆13Apr 3, 2026Updated 5 months ago
- ☆15Nov 20, 2025Updated 10 months ago
- ☆12Sep 22, 2023Updated 3 years ago
- Orchestrate is a blockchain Transaction Orchestration system that can operate multiple chains simultaneously☆22Jun 24, 2024Updated 2 years ago
- The design system for MetaMask products☆37Updated this week
- ChatGPT interface with better UI + running on free gpt api's☆18Apr 23, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 2D Game Adventure Time is a 2D platformer where you play as a hero exploring a world full of obstacles, enemies, and hidden secrets.☆16Dec 28, 2025Updated 8 months ago
- Linea smart-contracts☆83Sep 11, 2024Updated 2 years ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆105Mar 29, 2026Updated 5 months ago
- Learn how to permissionlessly pass messages & tokens to and from your chain☆68Jun 4, 2025Updated last year
- ☆18Nov 24, 2024Updated last year
- Collects information from Telegram groups, including details, members, and messages using the Telethon library.☆17Nov 29, 2023Updated 2 years ago
- Github profile README☆21May 28, 2026Updated 3 months ago