Repository · steady

oxarbitrage/poseidon-formal

Lean 4 formalization of Poseidon hash — machine-verified permutation bijectivity over the Pallas base field

LeanMITZcash

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 commit35d ago

Top contributors

oxarbitrage

@oxarbitrage

commits

Ecosystem context

Zcash

zcash/zcash

Zcash - Internet Money

C++last commit 2026-06-05

5,452 stars

2,213 forks

635 contribs

zcash/halo2

The Halo2 zero-knowledge proving system

Rustlast commit 2026-06-03

906 stars

591 forks

37 contribs

ZcashFoundation/zebra

Zcash - Financial Privacy in Rust 🦓

Rustlast commit 2026-06-04

559 stars

227 forks

77 contribs

zcash/librustzcash

Rust-language assets for Zcash

Rustlast commit 2026-06-03

392 stars

344 forks

65 contribs

zcash/zips

Zcash Improvement Proposals

TeXlast commit 2026-06-02

302 stars

178 forks

53 contribs

ZcashFoundation/frost

Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

Rustlast commit 2026-06-01

255 stars

88 forks

33 contribs

ZcashFoundation/zecwallet

A z-address first full node and UI wallet for zcash

TypeScriptlast commit 2023-04-10

188 stars

141 forks

17 contribs

zcash/mpc

zk-SNARK parameter multi-party computation protocol

Rustlast commit 2019-10-30

175 stars

43 forks

7 contribs

Subscriber view

Unlock the full view of oxarbitrage/poseidon-formal

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.