Footer

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

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats

Bifrost
Bifrost

BoltonBailey/formal-snarks-project

A formal verification of Linear PCP SNARKs.

Visit GitHub
Lean
64
6
2 contributors
Apache License 2.0
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast BoltonBailey/formal-snarks-project is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Jun 2025 – Oct 2026

Stars +0 in 17 months

01

Forks +3 in 17 months

01
1

Merged PRs 1 in 17 months

01
1

Trendshift Trendingthe best rank each month, on any day it made the top 25

Not in the Trendshift top 25 in this period

Jun 2025Sep 2025Dec 2025Mar 2026Jun 2026Sep 2026
The left and right arrow keys step from month to month; Home and End go to the first and the last

Stars, forks, merged pull requests and best Trendshift Trending rank, by month
MonthStars gainedForks gainedMerged PRs
June 2025+0+10
July 2025+0+10
August 2025+0+00
September 2025+0+00
October 2025+0+00
November 2025+0+00
December 2025+0+10
January 2026+0+00
February 2026+0+00
March 2026+0+00
April 2026+0+00
May 2026+0+00
June 2026+0+01
July 2026+0+00
August 2026+0+00
September 2026+0+00
October 2026+0+00
Total+0+31
  • 1#1 on the list
  • 7Best rank that month
  • Not trending

You might also like

Repositories close to BoltonBailey/formal-snarks-project
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Verified-zkEVM/ArkLib

Lean

Formally Verified Arguments of Knowledge in Lean

348101

argumentcomputer/ix

Rust

a zero-knowledge proof-carrying code protocol for Lean 4

1075

ethereum/EthLib

Lean

Formally verified Ethereum primitives, written in Lean.

6112

Verified-zkEVM/CompPoly

Lean

Computable Polynomials in Lean.

4843

LeanPool/lean-pool

Lean
14035

anthropics/formal-math

Lean
30869

Verified-zkEVM/VCVio

Lean

A Lean library for machine-checked cryptographic proofs.

16852

openai/ten-proofs

Lean

Lean certificates accompanying ten proofs in mathematics and theoretical computer science

21630

erhant/moonmath

Sage

Solutions to exercises from MoonMath Manual to zkSNARKs.

9912