Team / organization
@oxarbitrage
repos
7
stars
1
forks
contributors
2
open issues
0
active 30d
Modelling the Zcash P2P network
Blockchain articles and document drafts
Lean 4 formalization of Zcash Orchard protocol — double-spend prevention, balance integrity, and DH key agreement proofs
Lean 4 formalization of Poseidon hash — machine-verified permutation bijectivity over the Pallas base field
Lean 4 formalization of RedPallas signatures — correctness and re-randomization homomorphism proofs
Lean 4 formalization of Sinsemilla hash with machine-verified Pedersen equivalence and DLP security reduction
Receovery tool to get sapling extended key from mnemonic
oxarbitrage
252 commits · 7 repos
teor2345
1 commits · 1 repos
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
