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:
- Former repository for the implementation of the constraint system of Linea☆36May 21, 2026Updated 5 months ago
- The principal Lineth repository. Lineth is an enterprise-grade EVM layer 2 framework for developing public, permissioned or private netwo…☆127Updated 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 5 months ago
- Former repository for Maru, a Consensus layer client implementing QBFT protocol adhering to Eth 2.0 CL / EL separation and API☆21May 21, 2026Updated 5 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 11 months 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.
- Linea Sequencer Implementation☆33May 28, 2025Updated last year
- 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
- Archived in favour of the linea-attestation-registry repository☆12Feb 27, 2026Updated 8 months ago
- Collects information from Telegram groups, including details, members, and messages using the Telethon library.☆17Nov 29, 2023Updated 2 years ago
- ☆10Oct 1, 2026Updated last month
- ☆10Sep 2, 2026Updated 2 months ago
- ☆18Jun 3, 2022Updated 4 years ago
- XMTP Improvement Proposals☆51Jul 9, 2026Updated 3 months ago
- Linea smart-contracts☆83Sep 11, 2024Updated 2 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.
- ☆37Jul 28, 2026Updated 3 months ago
- ARCHIVED. A TypeScript implementation of an XMTP memo client that enables pre-registration messaging.☆11Jul 16, 2025Updated last year
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Oct 2, 2026Updated last month
- Anoma application examples☆16May 23, 2025Updated last year
- Security contacts and disclosure reports☆14Feb 13, 2023Updated 3 years ago
- ☆13Apr 3, 2025Updated last year
- Circuit infrastructure for Aztec 3.0☆15Apr 26, 2023Updated 3 years ago
- ☆12May 1, 2017Updated 9 years ago
- XMTP☆18Jul 9, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple bot that lives in your Telegram group, logging messages to a Postgresql database and serving statistical tables and plots to use…☆13Nov 16, 2023Updated 2 years ago
- A Snap to track your Linea Voyage progress in MetaMask☆14Feb 16, 2026Updated 8 months ago
- ZKsync protocol libraries☆22Aug 25, 2026Updated 2 months ago
- Documentation for XMTP (Extensible Message Transport Protocol)☆14Apr 8, 2026Updated 6 months ago
- Monad flavored Hardhat☆14Sep 1, 2026Updated 2 months ago
- compress library implements a lightweight, deflate-like compression algorithm designed to have a simple, zk-friendly decompression algori…☆14Sep 1, 2026Updated 2 months ago
- Ethereum signer documentation site☆21Updated this week
- Sociedade de desenvolvimento focado em privacidade, anonímato e criptografia☆11Apr 7, 2026Updated 6 months ago
- ☆10Aug 17, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- NFT mint, core candy machine, candy guard, group, whitelist, metaplex, mintV1☆12Aug 23, 2025Updated last year
- Ansible role that will install (& uninstall), configure and runs [Besu](https://besu.hyperledger.org): an enterprise Java Ethereum Client☆15Oct 7, 2026Updated 3 weeks ago
- ViewBot using requests | Fast, no selenium shit | Custom Views count and clean Design☆15May 1, 2023Updated 3 years ago
- Anoma Abstract Resource Machine Implementation using RISC Zero zkVM☆13Updated this week
- ☆11Jul 22, 2024Updated 2 years ago
- In this project, I build a shooter game using JavaScript's framework Phaser 3, a "fast, free and fun open-source framework for Canvas and…☆14Jul 7, 2023Updated 3 years ago
- Realtime Text To Image☆20Nov 14, 2023Updated 2 years ago