LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

@zcash @ZcashFoundation

Alfredo Garcia

Blockchain code hacker

Followers

106

Public repos

94

Stars (recent)

1

Ecosystems

—

Projects

Repositories this builder owns.

No description.

Modelling the Zcash P2P network

1

Zcash Formal Verification Hub

poseidon-formal

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

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

An ongoing Rust implementation of a Zcash node. 🦓

Lean 4 formalization of Zcash Orchard protocol — double-spend prevention, balance integrity, and DH key agreement proofs

oxarbitrage.github.io

oxarbitrage personal website

Lean 4 formalization of Halo 2 gadgets — PLONKish gate soundness, ECC scalar multiplication, and Sinsemilla circuit correctness

Recent activity

Most recently pushed work.

oxarbitrage/zallet-hub
pushed 8d ago
oxarbitrage/zcash-p2p-spec
pushed 8d ago
oxarbitrage/zcash-formal
pushed 14d ago
oxarbitrage/poseidon-formal
pushed 14d ago