É us guri
É us guri · Hackathon Solana & Cursor
Imagina que tu é dono de um banco e o governo chega e fala: “Me prova que tu tem mais dinheiro guardado do que dívida.”
O problema é que, pra provar isso do jeito tradicional, tu teria que mostrar todas as tuas contas, valores, clientes e várias informações extremamente sensíveis. E aí teus concorrentes, ou até alguém mal-intencionado, poderia acabar tendo acesso a esses dados.
É justamente aí que entra o bk.auditor®.
A ideia é ele entrar no banco de dados, fazer todos os cálculos internamente e gerar uma prova matemática, um ZK Proof, que funciona como um tipo de selo de garantia.
Essa prova consegue mostrar pro governo que a regra foi realmente cumprida — por exemplo, que o banco tem pelo menos 20% a mais de ativos do que dívidas — sem precisar revelar quais são os valores reais.
Ou seja, quem está auditando consegue confirmar matematicamente que a informação é verdadeira, mas não consegue descobrir os dados confidenciais que estão por trás dela.
E no nosso site dá pra ver esse processo acontecendo.
Primeiro, na aba Connectors, tu conecta os bancos de dados que serão utilizados na auditoria.
Depois, em Policies, tu escolhe qual regra quer provar. Por exemplo: “Eu tenho 20% a mais de ativos do que dívidas.”
Aí tu clica em Run Audit.
O sistema pega esses dados, executa a regra e gera o ZK Proof, que aparece na aba ZK Proofs.
Esse código gigante que aparece ali não é simplesmente um resultado que alguém consegue ler e descobrir os valores. Ele é uma prova criptográfica que permite que outra pessoa verifique matematicamente se aquilo é verdadeiro.
Então, resumindo de uma forma bem simples:
O bk.auditor® permite provar que tu está seguindo uma determinada regra sem precisar revelar os dados confidenciais usados para provar isso.
É basicamente: “Eu consigo provar que é verdade, sem precisar te mostrar o que eu tenho.”
Ver projeto →
