My interest lies where hard technical systems become simple enough for people to actually use.
Presently building sovereign infrastructure on Logos. 15+ hackathon wins along the way.
My interest lies where hard technical systems become simple enough for people to actually use.
Presently building sovereign infrastructure on Logos. 15+ hackathon wins along the way.
Integer-only constant-product bonding curve math for LEZ. k does not fit in u128 for an 18-decimal pair, so k is never materialised.
Makefile
1st place in the Ethereum Foundation Research Challenge at the TUM Blockchain Club Conference in Munich
LP-0002 — Private M-of-N Multisig for the Logos Execution Zone: threshold approvals with genuine on-chain proof verification, unlinkable even to other members
Rust
LP-0003: Private Allowlist / Airdrop Distributor on the Logos Execution Zone. Anchored eligibility roots, secret-bound double-claim nullifiers, on-chain proof verification via the LEZ privacy path.
Rust
LP-0005: Private Token Balance Attestation - Risc0-based threshold proofs over LEZ shielded accounts, verifiable on-chain and off-chain over Logos Messaging.
Rust
LP-0008 — Autonomous AI Module for Logos Core: a sovereign agent with its own shielded LEZ account, Logos Storage and Messaging, spending thresholds, and an A2A-compatible agent-to-agent layer paid…
C++