Zero-Knowledge Circuits

Zero Knowledge Circuits of Veilon is the core component responsible for safeguarding user privacy. It's purpose built to ensure that transactions, balances, and wallet relationships remain completely hidden using advanced zero knowledge proofs (ZKPs). This makes your financial activities impossible to trace or analyze.

Purpose:

Veilon's cryptographic engine provides privacy by shielding transactions, balances, and wallet relationships. Using zero-knowledge proofs, it ensures no one can trace your financial actions on-chain.

How It Works:

When you send assets to Veilon:

• Shielded Commitments: Assets are converted into encrypted representations called shielded commitments.

• Zero-Knowledge Proofs (zk-SNARKs): These commitments pass through zk-SNARK circuits, validating transactions without revealing any private information.

• Anonymous Verification: Each transaction is verified by the network without exposing details of the sender, receiver, or transaction amount.

Key Features:

• Unlinkability: Transactions remain separate and cannot be correlated.

• Growing Anonymity Set: Privacy strengthens over time as more users participate.

• Deterministic Nullifiers: Ensure protection against double-spending without revealing historical transaction data.

Real World Analogy:

Imagine sending money in a sealed envelope with a special stamp. The stamp confirms the envelope contains valid funds, but no one can see what's inside, who sent it, or where it originated. Veilon provides a digital version of this secure and private transaction method.

import { groth16 } from 'snarkjs';

const { proof, publicSignals } = await groth16.fullProve(
  {
    privateKey: userPrivateKey,
    nullifier: inputNullifier,
    merklePath: pathToLeaf,
    amount: shieldedAmount,
    recipient: recipientHash
  },
  './circuit/transfer.wasm',
  './circuit/transfer_final.zkey'
);

console.log('ZK Proof:', proof);