Former repository for the specification of the constraint system underlying Linea's zkEVM
☆30Jun 8, 2026Updated 4 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:
- 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
- Archived - Lisp-based DSL (Domain-Specific Language), designed to implement constraint systems in the context of zero-knowledge proof sys…☆21Dec 1, 2025Updated 10 months ago
- Linea Sequencer Implementation☆33May 28, 2025Updated last year
- 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.
- 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
- XMTP Improvement Proposals☆51Jul 9, 2026Updated 3 months ago
- ARCHIVED. A TypeScript implementation of an XMTP memo client that enables pre-registration messaging.☆11Jul 16, 2025Updated last year
- Anoma application examples☆16May 23, 2025Updated last year
- 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 8 months ago
- Circuit infrastructure for Aztec 3.0☆15Apr 26, 2023Updated 3 years ago
- Security contacts and disclosure reports☆14Feb 13, 2023Updated 3 years ago
- Ansible role that will install (& uninstall), configure and runs [Besu](https://besu.hyperledger.org): an enterprise Java Ethereum Client☆15Oct 7, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Solidity error logging☆24Sep 21, 2021Updated 5 years ago
- ViewBot using requests | Fast, no selenium shit | Custom Views count and clean Design☆15May 1, 2023Updated 3 years ago
- ZKsync protocol libraries☆22Aug 25, 2026Updated last month
- Ethereum signer documentation site☆21Updated this week
- Realtime Text To Image☆19Nov 14, 2023Updated 2 years ago
- Linea implementation based on Besu☆71Oct 31, 2025Updated 11 months ago
- ☆13Apr 3, 2026Updated 6 months ago
- Solutions to the Damn Vulnerable DeFi challenges ⛳️☆46Apr 12, 2023Updated 3 years ago
- AZTEC protocol trusted setup MPC☆35Jun 25, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ChatGPT interface with better UI + running on free gpt api's☆18Apr 23, 2023Updated 3 years ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆106Mar 29, 2026Updated 6 months ago
- Learn how to permissionlessly pass messages & tokens to and from your chain☆68Jun 4, 2025Updated last year
- ☆16Apr 24, 2024Updated 2 years ago
- uQ - an embedded quantum simulator☆21Jul 13, 2023Updated 3 years ago
- OpenLotto is an open-source blockchain-based lottery platform with focus on transparency, security and fairnes.☆14May 4, 2026Updated 5 months ago
- ☆69Apr 1, 2026Updated 6 months ago
- Example tests for exploring upgradeable contracts with Foundry☆12Nov 4, 2022Updated 3 years ago
- Configure Chainlink Oracles to return deterministic values for local testing☆18Dec 4, 2022Updated 3 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.
- Orchestrate deployment scripts kubernetes example☆20Jun 24, 2024Updated 2 years ago
- Application SDK for using Smart Account Modules☆51Sep 21, 2026Updated 3 weeks ago
- ☆20Sep 24, 2026Updated 3 weeks ago
- 🐻 Core smart contracts of Wombat v1☆18Jun 4, 2024Updated 2 years ago
- The purpose of this repo is to showcase deploying and testing various proxy patterns with forge☆13Jul 12, 2022Updated 4 years ago
- A simple CLI wrapper around Foundry and jq to debug UserOps☆17Mar 26, 2024Updated 2 years ago
- The objective of this repository is to show proofs of concept related to vulnerabilities in solana blockchain that are mentioned in many …☆19Dec 7, 2025Updated 10 months ago