Core Operations

• Staking

  • Users lock tokens into the pool.

  • Commitments represent staked balances.

  • Rewards are accumulated off-chain and can be claimed with ZK proofs.

• Lending / Borrowing

  • Lending positions (supplied and borrowed amounts) are modeled as commitments.

  • Health factors and collateralization ratios are validated within circuits.

  • Liquidations can occur with proofs proving under-collateralization without exposing exact balances.