Tushar Pamnani

Veracis — LMSR Prediction Market AMM on Midnight

LMSR requires transcendental functions (exp, ln) that are incompatible with ZK integer circuit constraints.

Rebuilt the mathematical substrate using fixed-point scaling (10^6), 15-term Taylor expansion for exp, argument reduction for ln, and log-sum-exp numerical stability. Off-chain witness computation verified on-chain via ZK proof.

Working LMSR AMM on Midnight with published whitepaper. Prices provably sum to 1 via softmax. Market-maker loss bounded at b·ln(n).

pUSD — Privacy-Preserving Collateralized Lending Protocol

Transparent lending protocols expose position data enabling front-running and targeted liquidations.

Five ZK circuits in Compact enforce 150% collateralization invariant in arithmetic constraints. Individual debt and collateral live only on the client device as witnesses — never on-chain.

MakerDAO-equivalent protocol where proof generation fails client-side on invariant violation. Published whitepaper v2.1.0. Full stack: contract, REST API, React frontend, CLI, LevelDB state store.

Confidential Orderbook — FHE-Native DEX

On-chain orderbooks structurally enable front-running through mempool visibility.

Full FHE matching engine using FHE.gte, FHE.min, FHE.sub, FHE.select — encrypted comparisons and arithmetic at every step. Participant-gated decryption enforced at contract level.

Front-running structurally impossible, not mitigated. Only buyer and seller of a matched trade can decrypt their fill. No trusted third party.

Midnight Bonding Curve — ZK AMM

Compact's truncating integer division breaks exact mint/burn reversibility in bonding curve AMMs.

Witness-supplied cost verified via dual-branch parity circuit — circuit checks both even and odd cases. Reserve invariant R = (a/2)·s² enforced in-circuit after every trade.

160-test suite across 27 sections including fuzz testing to 10^11 supply. Featured in Awesome Midnight dApps.

Stellar Wallet Kit — Multi-Wallet SDK

Each Stellar wallet required separate integration logic, causing developers to spend days on basic connection flows.

Unified multi-wallet abstraction layer supporting Freighter, Albedo, WalletConnect, LOBSTR with React hooks API, session persistence, and auto-refresh balances.

Reduced wallet integration time from 2-3 days to under one hour. Adopted across Stellar residency programs and builder projects.