zk-payments-confetti dmarzzz · COMPLETED
Machine-checked zk payment channels: post-quantum nullifier-chain protocol, formalized and proved in Lean 4
github.com/dmarzzz/zk-payments-confetti · ★ 0 · Forks 3 · Size 2.8 MB
SUMMARY
Technologies 3
Scored 3
Observed 3
Practices 6
Evidence 3
Skips 0
COVERAGE
Analyzed 156 files · 209 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
46 files · PRODUCTION
JSON LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
4 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-07-07
Last commit 2026-07-15
Active months 1
Commits 209