Voltar para projetosBack to projects
ConcluídoCompleted·Mar 2026·HackathonHackathon·StarknetStarknet·ZKZK

Shielded BTC CollateralShielded BTC Collateral

Camada privada e verificável de colateral para DeFi de Bitcoin na Starknet.Private, verifiable collateral layer for Bitcoin DeFi on Starknet.

Protocolo de colateral usando zero-knowledge proofs nativos da Starknet — deposita BTC sem revelar o valor, prova colateralização sem expor posição.Collateral protocol using zero-knowledge proofs native to Starknet — deposit BTC without revealing the amount, prove collateralization without exposing the position.

Pitch & demo do projetoProject pitch & demo
01

O que éOverview

Contratos Cairo 2.6 que armazenam apenas commitments Poseidon do valor depositado. Usuários provam "colateral > threshold" sem revelar o montante. Withdraw exige nullifier derivado do segredo, impedindo forja e double-spend. Account Abstraction nativa via SNIP-6/9 com session keys e paymaster gasless.Cairo 2.6 contracts that store only Poseidon commitments of the deposited amount. Users prove "collateral > threshold" without revealing the amount. Withdrawals require a nullifier derived from the secret, preventing forgery and double-spend. Native Account Abstraction via SNIP-6/9 with session keys and gasless paymaster.

02

O problemaThe problem

O mercado de BTC como colateral DeFi passa de US$ 500B, mas expõe posições completas on-chain: MEV bots front-rodam liquidações, whales viram alvo de phishing, e instituições não participam sem revelar estratégia. Bitcoin holders são forçados a escolher entre privacidade e DeFi.The BTC-as-DeFi-collateral market exceeds US$500B, yet positions are fully exposed on-chain: MEV bots front-run liquidations, whales become phishing targets, and institutions cannot participate without exposing strategy. Bitcoin holders are forced to choose between privacy and DeFi.

03

AbordagemApproach

Deposit: amount + secret → Poseidon commitment on-chain (sem plaintext) Prove: "value > threshold" verificável sem aprender o valor Withdraw: verifica Poseidon(amount,secret) == commitment e consome nullifier Lending hook: mint de dívida contra commitment privado Account Abstraction: SNIP-6/9 + session keys + paymaster gasless 76 testes (40 unit + 13 integration + 23 security) — CollateralVault hardenedDeposit: amount + secret → on-chain Poseidon commitment (no plaintext) Prove: "value > threshold" verifiable without learning the amount Withdraw: verifies Poseidon(amount,secret) == commitment and consumes nullifier Lending hook: mint debt against the private commitment Account Abstraction: SNIP-6/9 + session keys + gasless paymaster 76 tests (40 unit + 13 integration + 23 security) — hardened CollateralVault

04

ImpactoImpact

76
Testes passandoPassing tests
🧪
2.6
CairoCairo
🛡️
2C · 8H · 7M
Auditoria internaInternal audit

Submetido ao Starknet Re{define} Hackathon 2026 (tracks Privacy + Bitcoin). Auditoria interna encontrou e corrigiu 2 críticos, 8 altos e 7 médios antes da submissão.Submitted to the Starknet Re{define} Hackathon 2026 (Privacy + Bitcoin tracks). Internal audit surfaced and fixed 2 critical, 8 high and 7 medium findings before submission.