Skip to content

Add Lighter ecosystem - #2954

Merged
yizhao-ec merged 1 commit into
electric-capital:masterfrom
laukiantonson:add-lighter
Aug 7, 2026
Merged

Add Lighter ecosystem#2954
yizhao-ec merged 1 commit into
electric-capital:masterfrom
laukiantonson:add-lighter

Conversation

@laukiantonson

Copy link
Copy Markdown
Contributor

Adds Lighter (lighter.xyz) — the zk-rollup perpetuals exchange settling on Ethereum, consistently one of the highest-volume perp DEXs — missing as an ecosystem.

The taxonomy currently only tracks elliottech's legacy lighter v1/v2 repos (under Arbitrum/Ethereum). The entire current zk-rollup stack was untracked:

  • lighter-python (322 stars), lighter-go (87 stars, pushed today), lighter-prover (63 stars), circuits, agent kit
  • Migration adds the ecosystem under Ethereum plus 7 original (non-fork) repos

Validated locally with ./run.sh validate (passes clean).

@yizhao-ec
yizhao-ec merged commit ae124ef into electric-capital:master Aug 7, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants