Contract Reference - Writz Protocol

The public interface of the four Soroban contracts in this repository, as defined on main. Writz v1 is bitcoin-spv and writz-lend; zk-verifier and commitment-tree belong to the separate privacy edition (in progress), are deployed on testnet only, and are never called by writz-lend. Every function below is copied from the contract source, with the first paragraph of its doc comment; env: Env is omitted. The source is the authority: contracts/contracts/<name>/src/lib.rs, and the generated TypeScript bindings in packages/ and frontend/app/src/lib/contracts/. Every contract is configured by its __constructor, which runs inside the deploy transaction. There is no separate initialize call. To deploy and wire up all four, use scripts/deploy/deploy_stack.mjs (see #177 for the order and arguments). Testnet addresses:

Contract	Address
`bitcoin-spv`	`CBX23YKCCJMAMBMSCNP6YVKEXUIYK2CTKSR4TQ3RVBPAFYZFVCW7W4EO`
`zk-verifier`	`CB5XAP6MF2GVVFATFTVCKVEXUODWWRQP4B3QFDMRTM55REP7N2YMXEUD`
`commitment-tree`	`CAQBLCAPGXXCZTJDAJLY7E4PTJYGR6CY4YWH4JSJKFXYIHW3GANP6RFM`
`writz-lend`	`CABF7VK7F25ZGDLV6EWSAU3NYQYKDQNDSJIISDMDZAUASMSXUADSHZGG`

bitcoin-spv and writz-lend are the instances from the 2026-10-25 redeploy; zk-verifier and commitment-tree are from the coordinated redeploy (#177, 2026-10-11). All four run the interfaces documented here. See contracts/deployments/testnet.md. Testnet bitcoin-spv and writz-lend were redeployed on 2026-10-25 because testnet rent rose sharply: testnet’s live state is above its target size, and the previous contracts gave every entry they created the long mainnet storage windows, so a deposit was charged about 428 XLM in fees. The new contracts take those windows as deployment parameters and run testnet-length ones (a deposit was charged about 89 XLM, measured 2026-10-25). Positions on the previous contracts were closed and their BTC released; their IDs are recorded as superseded in contracts/deployments/testnet.md. The windows are the header_ttl_ledgers and consumed_ttl_ledgers arguments of bitcoin-spv’s __constructor and the entry_ttl_ledgers argument of writz-lend’s (both below); what each entry keeps and when it is extended is in Storage and TTL management.

bitcoin-spv

`__constructor`

Runs exactly once, atomically, as part of deployment (__constructor): no separate initialize transaction exists for anyone to front-run (GHSA-422m-f73x-fh58).

pub fn __constructor(admin: Address, pow_limit_bits: u32, header_ttl_ledgers: u32, consumed_ttl_ledgers: u32)

`set_checkpoint`

Sets the trust-root checkpoint. Admin-gated and callable exactly once: after this the chain only grows through submit_headers, so the admin cannot later rewrite which chain is trusted.

pub fn set_checkpoint(caller: Address, height: u32, block_hash: BytesN<32>, bits: u32, time: u32, period_start_time: u32) -> Result<(), SPVError>

`set_consumer`

Registers (or removes) a lending contract allowed to consume deposit txids. Admin-only. Both lending contracts share one txid registry so the same Bitcoin output cannot back loans from both pools (GHSA-2975-ggwh-pxw5).

pub fn set_consumer(caller: Address, consumer: Address, allowed: bool) -> Result<(), SPVError>

`consume_deposit`

Marks a deposit txid as consumed by a lending contract. Fails if the caller is not a registered consumer or the txid was already consumed. Called by each lending contract’s deposit after its own checks.

pub fn consume_deposit(consumer: Address, txid: BytesN<32>) -> Result<(), SPVError>

`is_deposit_consumed`

Returns whether a deposit txid has already been consumed.

pub fn is_deposit_consumed(txid: BytesN<32>) -> bool

`set_submitter`

Restricts submit_headers to submitter, or reopens it to everyone with None. Admin-gated.

pub fn set_submitter(caller: Address, submitter: Option<Address>) -> Result<(), SPVError>

`set_ttls`

Sets how long stored headers (with their height index) and consumed deposit markers are kept live, in ledgers. Admin-gated, same bounds as the constructor (17,280 to 3,110,400, else InvalidEntryTtl). Applies to entries written or touched after the change only; emits ttls_set.

pub fn set_ttls(caller: Address, header_ttl_ledgers: u32, consumed_ttl_ledgers: u32) -> Result<(), SPVError>

`set_admin`

Rotates the admin address. Admin-gated.

pub fn set_admin(caller: Address, new_admin: Address) -> Result<(), SPVError>

`get_checkpoint`

Returns the checkpoint, or None if never set.

pub fn get_checkpoint() -> Option<Checkpoint>

`get_best_tip`

Returns the tip of the most-work chain, or None before the checkpoint is set.

pub fn get_best_tip() -> Option<BestTip>

`get_header`

Returns the stored header for block_hash, if any.

pub fn get_header(block_hash: BytesN<32>) -> Option<HeaderEntry>

`get_canonical_hash`

Returns the most-work chain’s block hash at height, if known.

pub fn get_canonical_hash(height: u32) -> Option<BytesN<32>>

`refresh_ttl`

Extends the TTL of the Config, Checkpoint and best-tip entries. Permissionless - anyone can call this to keep an inactive deployment from expiring.

pub fn refresh_ttl()

`submit_headers`

Adds a run of contiguous block headers to the light client.

pub fn submit_headers(headers: Vec<BytesN<80>>) -> Result<u32, SPVError>

`verify_transaction`

Verify that a Bitcoin transaction is included in a confirmed block of the most-work chain this contract tracks.

pub fn verify_transaction(block_hash: BytesN<32>, merkle_proof: Vec<BytesN<32>>, tx_index: u32, raw_tx: Bytes, min_confirmations: u32) -> Result<SpvVerificationResult, SPVError>

zk-verifier

Privacy edition (in progress), testnet only. Not part of Writz v1.

`__constructor`

Runs exactly once, atomically, as part of deployment (__constructor). The admin is the only account that can call set_verification_key.

pub fn __constructor(admin: Address)

`set_verification_key`

Store or replace the verification key for a circuit.

pub fn set_verification_key(caller: Address, circuit: CircuitId, vk: VerificationKey) -> Result<(), ZkVerifierError>

`get_verification_key`

Returns the stored verification key for a circuit, or None.

pub fn get_verification_key(circuit: CircuitId) -> Option<VerificationKey>

`refresh_ttl`

Extends the TTL of the admin entry and every set verification key. Permissionless - call on a schedule so an infrequently-used deployment doesn’t silently expire and start failing proof verification with VerificationKeyNotSet.

pub fn refresh_ttl()

`verify_deposit`

Verify a Groth16 proof for the deposit circuit.

pub fn verify_deposit(proof: Proof, public_signals: Vec<BytesN<32>>) -> Result<bool, ZkVerifierError>

`verify_borrow_repay`

Verify a Groth16 proof for the borrow/repay circuit.

pub fn verify_borrow_repay(proof: Proof, public_signals: Vec<BytesN<32>>) -> Result<bool, ZkVerifierError>

`verify_zero_debt`

Verify a Groth16 proof for the zero-debt release circuit.

pub fn verify_zero_debt(proof: Proof, public_signals: Vec<BytesN<32>>) -> Result<bool, ZkVerifierError>

`verify_liquidation`

Verify a Groth16 proof for the liquidation circuit.

pub fn verify_liquidation(proof: Proof, public_signals: Vec<BytesN<32>>) -> Result<bool, ZkVerifierError>

`verify_insert`

Verify a Groth16 proof for the Merkle insertion circuit.

pub fn verify_insert(proof: Proof, public_signals: Vec<BytesN<32>>) -> Result<bool, ZkVerifierError>

Events

Topic fields are in bold.

Event	Topic	Fields
`VkRotatedEvent`	`vk_rotated`	new_vk_hash, circuit, old_vk_hash

commitment-tree

Privacy edition (in progress), testnet only. Not part of Writz v1; writz-lend never calls it.

`__constructor`

Runs exactly once, atomically, as part of deployment (__constructor) - see GHSA-422m-f73x-fh58.

pub fn __constructor(admin: Address, spv_contract: Address, zk_verifier: Address, usdc_token: Address, oracle: Address, min_confirmations: u32, protocol_pubkey: BytesN<33>, keeper_pub_x: BytesN<32>, keeper_pub_y: BytesN<32>)

`deposit`

pub fn deposit(depositor: Address, block_hash: BytesN<32>, merkle_proof_btc: Vec<BytesN<32>>, tx_index: u32, raw_tx: Bytes, user_pubkey: BytesN<33>, timelock_height: u32, key_sig: BytesN<65>, zk_proof: Proof, public_signals: Vec<BytesN<32>>, enc_note: Bytes) -> Result<BytesN<32>, CommitmentTreeError>

`insert_commitment`

Insert a pending commitment into the Merkle tree and advance the root.

pub fn insert_commitment(caller: Address, zk_proof: Proof, public_signals: Vec<BytesN<32>>) -> Result<(), CommitmentTreeError>

`borrow`

Borrow USDC against a BTC position using a ZK proof.

pub fn borrow(borrower: Address, zk_proof: Proof, public_signals: Vec<BytesN<32>>, enc_note: Bytes) -> Result<(), CommitmentTreeError>

`mark_released`

Records that a fully repaid position’s BTC has been released, by spending the zero-debt leaf’s nullifier (GHSA-w4rp-v54x-2cv3, GHSA-hcjf-8vjc-2hfv). After this, borrow on that leaf fails its nullifier check.

pub fn mark_released(zk_proof: Proof, public_signals: Vec<BytesN<32>>) -> Result<(), CommitmentTreeError>

`repay`

Repay USDC debt on a ZK position.

pub fn repay(repayer: Address, zk_proof: Proof, public_signals: Vec<BytesN<32>>, enc_note: Bytes) -> Result<(), CommitmentTreeError>

`liquidate`

Liquidate an undercollateralized position using a ZK proof.

pub fn liquidate(keeper: Address, zk_proof: Proof, public_signals: Vec<BytesN<32>>) -> Result<(), CommitmentTreeError>

`supply_usdc`

Lender supplies USDC to the pool to earn yield from borrower interest.

pub fn supply_usdc(supplier: Address, amount: i128) -> Result<(), CommitmentTreeError>

`withdraw_supply`

Lender withdraws USDC from the pool.

pub fn withdraw_supply(supplier: Address, amount: i128) -> Result<(), CommitmentTreeError>

`set_oracle`

Updates the oracle contract address used for BTC/USD pricing. Admin only.

pub fn set_oracle(caller: Address, new_oracle: Address) -> Result<(), CommitmentTreeError>

`set_spv_contract`

Updates the bitcoin-spv contract address used for deposit verification. Admin only. Changing this mid-flight affects only deposits submitted after the change - an in-flight deposit’s SPV proof was already verified against the previous contract by the time this would run.

pub fn set_spv_contract(caller: Address, new_spv_contract: Address) -> Result<(), CommitmentTreeError>

`set_zk_verifier`

Updates the zk-verifier contract address used for ZK proof verification. Admin only. Changing this mid-flight affects only proofs submitted after the change.

pub fn set_zk_verifier(caller: Address, new_zk_verifier: Address) -> Result<(), CommitmentTreeError>

`set_max_total_borrowed`

Sets the ceiling on total outstanding borrows, in USDC stroops. Admin only. Lowering it below the current total blocks new borrows without touching existing positions.

pub fn set_max_total_borrowed(caller: Address, max: i128) -> Result<(), CommitmentTreeError>

`set_keeper_pubkey`

Rotates the keeper’s BabyJubJub key (#212). Admin only. Positions whose last note went to the old key stay liquidatable by whoever holds it; their next borrow or repay re-encrypts to the new one.

pub fn set_keeper_pubkey(caller: Address, keeper_pub_x: BytesN<32>, keeper_pub_y: BytesN<32>) -> Result<(), CommitmentTreeError>

`set_borrow_timelock_margin`

Sets how many blocks a borrowing position must have left before its timelock (#212). Admin only; 144 (~1 day) up to the deposit window’s own maximum.

pub fn set_borrow_timelock_margin(caller: Address, blocks: u32) -> Result<(), CommitmentTreeError>

`set_max_tip_age`

Sets how old bitcoin-spv’s tip may be for a borrow to rely on it (#212). Admin only; 1 to 48 hours.

pub fn set_max_tip_age(caller: Address, secs: u64) -> Result<(), CommitmentTreeError>

`set_paused`

Pauses or unpauses new deposits/borrows/USDC supply. Admin only.

pub fn set_paused(caller: Address, paused: bool) -> Result<(), CommitmentTreeError>

`refresh_nullifier_ttl`

Extend the TTL of a spent-nullifier entry to another 180-day window.

pub fn refresh_nullifier_ttl(nullifier: BytesN<32>) -> bool

`refresh_commitment_ttl`

Extend the TTL of the Bitcoin txid → commitment dedup record.

pub fn refresh_commitment_ttl(txid: BytesN<32>) -> bool

`refresh_merkle_root_ttl`

Extend the TTL of the on-chain Merkle root to another 180-day window.

pub fn refresh_merkle_root_ttl()

`refresh_pool_ttl`

Extend the TTL of the USDC pool accounting entry.

pub fn refresh_pool_ttl()

`refresh_supply_balance_ttl`

Extend the TTL of a lender’s supply balance entry.

pub fn refresh_supply_balance_ttl(lender: Address) -> bool

`refresh_instance_ttl`

Extend the instance storage TTL to another 90-day window.

pub fn refresh_instance_ttl()

`get_keeper_pubkey`

The keeper’s BabyJubJub public key (x, y) every borrow and repay proof must encrypt its keeper note to (#212).

pub fn get_keeper_pubkey() -> Result<(BytesN<32>, BytesN<32>), CommitmentTreeError>

`get_borrow_timelock_margin`

Blocks a borrowing position must have left before its timelock (#212).

pub fn get_borrow_timelock_margin() -> Result<u32, CommitmentTreeError>

`get_merkle_root`

Returns the current Poseidon Merkle root of the position commitment tree.

pub fn get_merkle_root() -> BytesN<32>

`is_nullifier_spent`

Returns true if the nullifier has already been spent.

pub fn is_nullifier_spent(nullifier: BytesN<32>) -> bool

`get_commitment`

Returns the commitment for a Bitcoin txid, or None if not deposited.

pub fn get_commitment(txid: BytesN<32>) -> Option<BytesN<32>>

`get_next_leaf_index`

Returns the index of the next empty Merkle leaf - the leaf_index the next insertion proof must target.

pub fn get_next_leaf_index() -> u32

`is_commitment_pending`

Returns true if a commitment is pending Merkle tree insertion.

pub fn is_commitment_pending(commitment: BytesN<32>) -> bool

`get_pool_state`

Returns (total_supplied, total_borrowed) in USDC stroops.

pub fn get_pool_state() -> (i128, i128)

`get_supply_balance`

Returns the USDC supply balance (in stroops) for a lender.

pub fn get_supply_balance(lender: Address) -> i128

Events

Topic fields are in bold.

Event	Topic	Fields
`DepositEvent`	`deposit`	commitment, depositor, txid, nullifier, user_pubkey, timelock_height, enc_note
`InsertLeafEvent`	`insert_leaf`	new_root, commitment, leaf_index
`BorrowEvent`	`borrow`	new_root, borrower, usdc_amount, old_nullifier, new_commitment, enc_note, keeper_note
`RepayEvent`	`repay`	new_root, repayer, usdc_amount, old_nullifier, new_commitment, enc_note, keeper_note
`LiquidateEvent`	`liquidate`	nullifier, keeper, usdc_debt
`SupplyEvent`	`supply`	supplier, usdc_amount, total_supplied
`WithdrawEvent`	`withdraw`	supplier, usdc_amount, total_supplied
`PausedSetEvent`	`paused_set`	admin, paused

writz-lend

`__constructor`

Runs exactly once, atomically, as part of deployment (__constructor): no separate initialize transaction exists for anyone to front-run (GHSA-422m-f73x-fh58).

pub fn __constructor(admin: Address, spv_contract: Address, usdc_token: Address, oracle: Address, keeper: Address, relayer: Address, protocol_pubkey: BytesN<33>, min_confirmations: u32, min_deposit_satoshis: u64, entry_ttl_ledgers: u32)

`deposit`

Register a BTC deposit by submitting an SPV proof. user_pubkey must differ from the protocol key, else UserKeyIsProtocolKey.

pub fn deposit(depositor: Address, block_hash: BytesN<32>, merkle_proof: Vec<BytesN<32>>, tx_index: u32, raw_tx: Bytes, p2wsh_script_pubkey: Bytes, timelock_height: u32, user_pubkey: BytesN<33>, key_sig: BytesN<65>) -> Result<BytesN<32>, WritzLendError>

`supply_usdc`

Lender supplies USDC to the pool, making it available for borrowing. Lenders earn supply_rate_bp() APR on their supplied amount.

pub fn supply_usdc(supplier: Address, amount: i128) -> Result<(), WritzLendError>

`withdraw_supply`

Lender withdraws previously supplied USDC from the pool.

pub fn withdraw_supply(supplier: Address, amount: i128) -> Result<(), WritzLendError>

`borrow`

Borrow USDC against an existing BTC deposit. Every borrow, including a top-up, requires the position’s timelock height H to be at least borrow_timelock_margin_blocks (4,320 by default) above the bitcoin-spv tip, read from a tip header no older than max_tip_age_secs (6 hours by default); else TimelockTooSoon, or StaleBitcoinTip when the tip is missing or too old.

pub fn borrow(borrower: Address, txid: BytesN<32>, usdc_amount: i128) -> Result<(), WritzLendError>

`repay`

Repay some or all of the USDC debt on a position.

pub fn repay(repayer: Address, txid: BytesN<32>, usdc_amount: i128) -> Result<(), WritzLendError>

`liquidate`

Liquidate an undercollateralized position. Accepted only while H is at least LIQUIDATION_CUTOFF_BLOCKS (288) above the bitcoin-spv tip, read from a fresh tip as for borrow; else LiquidationWindowClosed, or StaleBitcoinTip.

pub fn liquidate(keeper: Address, txid: BytesN<32>) -> Result<(), WritzLendError>

`set_max_total_borrowed`

Update the keeper address. Admin only.

pub fn set_max_total_borrowed(caller: Address, max: i128) -> Result<(), WritzLendError>

`set_keeper`

pub fn set_keeper(caller: Address, new_keeper: Address) -> Result<(), WritzLendError>

`keeper_heartbeat`

Explicit liveness signal from the designated keeper.

pub fn keeper_heartbeat(keeper: Address) -> Result<(), WritzLendError>

`set_keeper_stale_window`

Updates how many seconds of keeper inactivity before liquidation opens to any caller. Admin only.

pub fn set_keeper_stale_window(caller: Address, secs: u64) -> Result<(), WritzLendError>

`set_borrow_timelock_margin`

Sets how many Bitcoin blocks a borrow must leave between the bitcoin-spv tip and the position’s timelock height. Admin only; 4,320 to 105,000, else InvalidTimelockParams: the margin can be raised, never lowered below the default.

pub fn set_borrow_timelock_margin(caller: Address, blocks: u32) -> Result<(), WritzLendError>

`set_max_tip_age`

Sets how old the bitcoin-spv tip header may be, in seconds, for borrow and liquidate to rely on it. Admin only; 1 to 48 hours, else InvalidTimelockParams.

pub fn set_max_tip_age(caller: Address, secs: u64) -> Result<(), WritzLendError>

`set_relayer`

Updates the relayer address authorized to call publish_release_psbt. Admin only.

pub fn set_relayer(caller: Address, new_relayer: Address) -> Result<(), WritzLendError>

`set_oracle`

Updates the oracle contract address used for BTC/USD pricing. Admin only.

pub fn set_oracle(caller: Address, new_oracle: Address) -> Result<(), WritzLendError>

`set_entry_ttl`

Sets how long per-user entries (positions, supply balances, release PSBTs) are kept live, in ledgers. Admin only, same bounds as the constructor’s entry_ttl_ledgers (17,280 to 3,110,400, else InvalidEntryTtl). Applies to entries written or touched after the change only; emits entry_ttl_set.

pub fn set_entry_ttl(caller: Address, entry_ttl_ledgers: u32) -> Result<(), WritzLendError>

`set_spv_contract`

pub fn set_spv_contract(caller: Address, new_spv_contract: Address) -> Result<(), WritzLendError>

`set_paused`

Pauses or unpauses new deposits/borrows/USDC supply. Admin only.

pub fn set_paused(caller: Address, paused: bool) -> Result<(), WritzLendError>

`publish_release_psbt`

Publishes a co-signed Path A release PSBT for a repaid position.

pub fn publish_release_psbt(relayer: Address, txid: BytesN<32>, psbt: Bytes) -> Result<(), WritzLendError>

`get_release_psbt`

Returns the relayer-published release PSBT for a position, or None if the relayer hasn’t published one yet (or the position was never fully repaid).

pub fn get_release_psbt(txid: BytesN<32>) -> Option<Bytes>

`get_position`

Returns the position for the given Bitcoin txid, or None.

pub fn get_position(txid: BytesN<32>) -> Option<Position>

`get_health_ratio_bp`

Returns the health ratio (in basis points) for a position.

pub fn get_health_ratio_bp(txid: BytesN<32>) -> Result<i128, WritzLendError>

`get_borrow_timelock_margin`

Blocks a borrow must leave between the bitcoin-spv tip and the position’s timelock height.

pub fn get_borrow_timelock_margin() -> Result<u32, WritzLendError>

`get_max_tip_age`

Oldest the bitcoin-spv tip header may be, in seconds, for borrow and liquidate to rely on it.

pub fn get_max_tip_age() -> Result<u64, WritzLendError>

`get_borrow_rate_bp`

Current annual borrow rate in basis points (e.g. 800 = 8%).

pub fn get_borrow_rate_bp() -> i128

`get_supply_rate_bp`

Current annual supply rate in basis points.

pub fn get_supply_rate_bp() -> i128

`get_protocol_state`

Returns a snapshot of the global protocol state.

pub fn get_protocol_state() -> ProtocolState

`get_supply_balance`

Returns the USDC supply balance (in stroops) for a lender.

pub fn get_supply_balance(lender: Address) -> i128

`refresh_position_ttl`

Extend the TTL of a position entry to the full entry_ttl_ledgers window (180 days on mainnet).

pub fn refresh_position_ttl(txid: BytesN<32>) -> bool

`refresh_supply_balance_ttl`

Extend the TTL of a lender’s supply balance entry to the full entry_ttl_ledgers window.

pub fn refresh_supply_balance_ttl(lender: Address) -> bool

`refresh_protocol_ttl`

Extend the TTL of the global protocol accounting entry.

pub fn refresh_protocol_ttl()

`refresh_release_psbt_ttl`

Extend the TTL of a published release PSBT to another window.

pub fn refresh_release_psbt_ttl(txid: BytesN<32>) -> bool

Events

Topic fields are in bold.

Event	Topic	Fields
`DepositEvent`	`deposit`	txid, btc_satoshis, timelock_height
`BorrowEvent`	`borrow`	txid, borrower, usdc_amount
`RepayFullEvent`	`repay_full`	txid, repayer, p2wsh_script_pubkey
`RepayEvent`	`repay`	txid, usdc_amount
`LiquidateEvent`	`liquidate`	txid, keeper, bonus_paid
`SupplyEvent`	`supply`	supplier, usdc_amount, total_supplied
`WithdrawEvent`	`withdraw`	supplier, usdc_amount, total_supplied
`PausedSetEvent`	`paused_set`	admin, paused
`OracleSetEvent`	`oracle_set`	admin, new_oracle

​bitcoin-spv

​__constructor

​set_checkpoint

​set_consumer

​consume_deposit

​is_deposit_consumed

​set_submitter

​set_ttls

​set_admin

​get_checkpoint

​get_best_tip

​get_header

​get_canonical_hash

​refresh_ttl

​submit_headers

​verify_transaction

​zk-verifier

​__constructor

​set_verification_key

​get_verification_key

​refresh_ttl

​verify_deposit

​verify_borrow_repay

​verify_zero_debt

​verify_liquidation

​verify_insert

​Events

​commitment-tree

​__constructor

​deposit

​insert_commitment

​borrow

​mark_released

​repay

​liquidate

​supply_usdc

​withdraw_supply

​set_oracle

​set_spv_contract

​set_zk_verifier

​set_max_total_borrowed

​set_keeper_pubkey

​set_borrow_timelock_margin

​set_max_tip_age

​set_paused

​refresh_nullifier_ttl

​refresh_commitment_ttl

​refresh_merkle_root_ttl

​refresh_pool_ttl

​refresh_supply_balance_ttl

​refresh_instance_ttl

​get_keeper_pubkey

​get_borrow_timelock_margin

​get_merkle_root

​is_nullifier_spent

​get_commitment

​get_next_leaf_index

​is_commitment_pending

​get_pool_state

​get_supply_balance

​Events

​writz-lend

​__constructor

​deposit

​supply_usdc

​withdraw_supply

​borrow

​repay

​liquidate

​set_max_total_borrowed

​set_keeper

​keeper_heartbeat

​set_keeper_stale_window

​set_borrow_timelock_margin

​set_max_tip_age

​set_relayer

​set_oracle

​set_entry_ttl

​set_spv_contract

​set_paused

bitcoin-spv

`__constructor`

`set_checkpoint`

`set_consumer`

`consume_deposit`

`is_deposit_consumed`

`set_submitter`

`set_ttls`

`set_admin`

`get_checkpoint`

`get_best_tip`

`get_header`

`get_canonical_hash`

`refresh_ttl`

`submit_headers`

`verify_transaction`

zk-verifier

`__constructor`

`set_verification_key`

`get_verification_key`

`refresh_ttl`

`verify_deposit`

`verify_borrow_repay`

`verify_zero_debt`

`verify_liquidation`

`verify_insert`

Events

commitment-tree

`__constructor`

`deposit`

`insert_commitment`

`borrow`

`mark_released`

`repay`

`liquidate`

`supply_usdc`

`withdraw_supply`

`set_oracle`

`set_spv_contract`

`set_zk_verifier`

`set_max_total_borrowed`

`set_keeper_pubkey`

`set_borrow_timelock_margin`

`set_max_tip_age`

`set_paused`

`refresh_nullifier_ttl`

`refresh_commitment_ttl`

`refresh_merkle_root_ttl`

`refresh_pool_ttl`

`refresh_supply_balance_ttl`

`refresh_instance_ttl`

`get_keeper_pubkey`

`get_borrow_timelock_margin`

`get_merkle_root`

`is_nullifier_spent`

`get_commitment`

`get_next_leaf_index`

`is_commitment_pending`

`get_pool_state`

`get_supply_balance`

Events

writz-lend

`__constructor`

`deposit`

`supply_usdc`

`withdraw_supply`

`borrow`

`repay`

`liquidate`

`set_max_total_borrowed`

`set_keeper`

`keeper_heartbeat`

`set_keeper_stale_window`

`set_borrow_timelock_margin`

`set_max_tip_age`

`set_relayer`

`set_oracle`

`set_entry_ttl`

`set_spv_contract`

`set_paused`