Submit repository
Discover trends that matter
Trending repositories
Daily
Weekly
Monthly
Yearly
Live mentions
Topics
GitHub trending
Repositories
Developers
Insights
Stats
Hugegreencandle/xahc-prover — GitHub trending stats & insights | Trendshift
Sponsor spot open
·
promote your product
Hugegreencandle/xahc-prover
#
Static analysis
Symbolic execution + Z3: mathematically prove an Xahau Hook is safe for ALL inputs. The third leg of the trifecta.
Visit GitHub
Python
1
2 contributors
Custom license
Social mentions
Recent discussions about this repository across the web
Fail-closed by design: • unknown hook → UNPROVEN (never a silent pass) • edited/reordered entry → loud chain break • forged or wrong-key signature → rejected — pin the attester, or anchor the head…
@Cryptocrazy589 · x.com
Xahau Hooks are the first smart contracts you can mathematically prove safe — not Turing-complete, so their behavior is decidable. So I built the whole toolchain, open + MIT: ✍️ write → xahc 🔬…
@Cryptocrazy589 · x.com
https://t.co/Id09oBKXfq
@Cryptocrazy589 · 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