Repository · steady

tonyido2012/lighter-prover

🔍 Enhance your circuit verification with Lighter Prover, a streamlined tool for efficient theorem proving and logical reasoning.

RustNOASSERTIONEthereum

GitHub Website

stars

forks

contributors

open issues

Stars · last 0 weeks

Not enough history yet — signal stabilises after ~2 snapshots.

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit8d ago

Top contributors

tonyido2012

@tonyido2012

commits

lighter-devs

@lighter-devs

commits

Ecosystem context

Ethereum

FuelLabs/sway

🌴 Empowering everyone to build reliable and efficient smart contracts.

Rustlast commit 2026-06-05

61,650 stars

5,422 forks

150 contribs

FuelLabs/fuel-core

Rust full node implementation of the Fuel v2 protocol.

Rustlast commit 2026-06-07

57,028 stars

2,864 forks

62 contribs

ethereum/go-ethereum

Go implementation of the Ethereum protocol

Golast commit 2026-06-08

51,118 stars

21,929 forks

443 contribs

slab/quill

Quill is a modern WYSIWYG editor built for compatibility and extensibility

TypeScriptlast commit 2025-07-25

47,131 stars

3,652 forks

142 contribs

FuelLabs/fuels-rs

Fuel Network Rust SDK

Rustlast commit 2026-04-06

43,179 stars

1,361 forks

54 contribs

FuelLabs/fuels-ts

Fuel Network Typescript SDK

TypeScriptlast commit 2026-03-27

43,147 stars

1,372 forks

57 contribs

inkonchain/node

How to run an Ink Node

Shelllast commit 2026-04-21

36,576 stars

635 forks

16 contribs

argotorg/solidity

Solidity, the Smart Contract Programming Language

C++last commit 2026-06-08

25,649 stars

6,116 forks

349 contribs

Subscriber view

Unlock the full view of tonyido2012/lighter-prover

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.