Glossary

Key terms used throughout the Senddy documentation.

A#

Attestation#

A cryptographic signature from the attestor that certifies a zero-knowledge proof is valid. Used in place of on-chain proof verification to reduce gas costs.

Attestor#

A service running inside a hardware-isolated trusted execution environment (TEE) that verifies zero-knowledge proofs off-chain and signs attestations. The attestor cannot access funds or user data.

Association Proof#

An optional zero-knowledge proof that demonstrates funds trace back to legitimate deposit sources, enabling compliance without breaking privacy.

B#

Base#

A Layer 2 blockchain built on Ethereum by Coinbase. Senddy's smart contracts are deployed on Base for fast finality and low transaction costs.

C#

CCTP (Cross-Chain Transfer Protocol)#

Circle's native USDC bridge protocol used for moving USDC between blockchains (e.g., Solana to Base). More secure than third-party bridges because it burns and mints native USDC.

Commitment#

A cryptographic hash (Poseidon2) of a note's contents. Commitments are stored in the Merkle tree on-chain. Only the note owner can link a commitment to its underlying note.

D#

DeFi (Decentralized Finance)#

Financial services built on blockchain smart contracts. Senddy uses trusted DeFi lending protocols to generate yield on deposited funds.

E#

EIP-3009#

An Ethereum standard that allows token transfers with a signature instead of an on-chain approval transaction. Senddy uses receiver-bound ReceiveWithAuthorization signatures for gas-sponsored Base deposits.

Ephemeral Deposit Address#

A one-time EOA derived locally for a single Base deposit. It replaces reuse of a stable smart-wallet deposit address, reducing trivial cross-deposit clustering. It is retired after its deposit is shielded.

G#

Gasless#

A transaction model where the user doesn't need to hold ETH to pay for gas. Senddy embeds fees in the ZK circuit, and relayers submit transactions on behalf of users.

H#

HSM (Hardware Security Module)#

A dedicated hardware device used to manage the attestor's signing key. The key is restricted to the trusted execution environment and cannot be accessed externally.

M#

Merkle Tree#

A binary tree data structure where each leaf is a commitment and each node is the hash of its children. Allows efficient membership proofs — proving a commitment exists without revealing which one.

N#

Noir#

A domain-specific language for writing zero-knowledge circuits. Senddy's shield, spend, and association circuits are written in Noir.

Note#

A private unit of value in Senddy's UTXO system. Each note has a value, owner, and randomness. Notes are never stored in plaintext — only their commitments are on-chain.

Nullifier#

A unique value derived from a note and its owner's secret key. Publishing a nullifier on-chain marks a note as spent, preventing double-spending. Nullifiers cannot be linked to their commitments without the secret key.

P#

Permit2#

A token approval mechanism that allows more flexible and gas-efficient token permissions. Used for gasless deposits.

Poseidon2#

A ZK-friendly hash function optimized for use inside zero-knowledge circuits. Used to compute note commitments and nullifiers.

Privacy Pool#

The smart contract that holds deposited funds and records private note commitments. Funds are commingled, while zero-knowledge proofs hide which notes are consumed by later private spends.

R#

Relayer#

A service that submits blockchain transactions on behalf of users. Enables gasless transactions — users pay fees from their private balance via the ZK circuit.

S#

Shield#

The process of converting a public deposit into private notes. Later private spends do not reveal which shielded commitment they consume.

Smart Wallet#

An on-chain wallet created automatically for each Senddy user. Managed via account abstraction — no seed phrase or browser extension required.

Spend#

The process of using private notes to transfer value or withdraw funds. Requires a zero-knowledge proof that demonstrates ownership, existence, and value conservation.

Spend Key#

The secret key required to spend your notes. Derived from your login credentials and never leaves your device.

Sync Engine#

The client-side component that scans the blockchain for new commitments and nullifiers relevant to your keys, keeping your note state up to date.

T#

TEE (Trusted Execution Environment)#

A hardware-isolated enclave with no persistent storage, no network access, and cryptographic attestation of its code. Used to run the attestor securely.

U#

UltraHonk#

The zero-knowledge proving system used by Senddy. Uses a universal trusted setup, meaning no per-circuit ceremony is required. Optimized for efficient client-side proof generation in the browser.

Universal Setup#

A trusted setup ceremony that works for any circuit. Unlike circuit-specific setups, a universal setup doesn't need to be repeated when circuits are added or upgraded.

USDC#

A stablecoin issued by Circle, pegged 1:1 to the US dollar. Senddy uses USDC as its underlying currency.

UTXO (Unspent Transaction Output)#

A transaction model (used by Bitcoin and Zcash) where value is tracked as discrete "notes" rather than account balances. Each note can be spent exactly once.

V#

View Key#

A key that allows scanning the blockchain to identify which notes belong to you. Can be shared with auditors for voluntary transparency without granting spend access.

Z#

Zero-Knowledge Proof (ZK Proof)#

A cryptographic technique that proves a statement is true without revealing any information beyond the truth of the statement itself. Senddy uses ZK proofs to verify transactions are valid without revealing amounts, senders, or recipients.