Verified-zkEVM/CompPoly — GitHub trending stats & insights | Trendshift

Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

Terms and conditions
Privacy policy

More

onedump
gosnakego
Contact us

Social

X (Twitter)
GitHub

What they build speaks louder than words

© 2026 Trendshift, created by Julian Li with ❤️

Discover trends that matter

Daily Weekly Monthly Yearly

Live mentions Topics

Repositories Developers

Verified-zkEVM/CompPoly — GitHub trending stats & insights | Trendshift

Sponsor spot open·promote your product

Verified-zkEVM/CompPoly

Computable Polynomials in Lean.

Lean

46

25

27 contributors

Apache License 2.0

Social mentions

Recent discussions about this repository across the web

We finished a work on optimization for polynomial algorithms used for primitive operations like evaluation, multiplication, ... Polynomials on finite fields are the basis of most ZK implementations.…

@FormalLand · x.com

No trending activity

This repository has not yet been featured on GitHub Trending

Repository activities

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Sponsorships//Open

100K+ monthly visitors

High-intent: developers tracking what's rising in OSS to decide what to try next

No tracking pixels, no popups

Promote your product