Tive que explicar Boundless para amigos não criptográficos ontem e isso é o que mais ressoou com eles: - Eu disse a eles que Boundless era como o Uber, mas para computação (deixei de fora a parte ZK até mais tarde) - Conectamos pessoas com GPUs (drivers) a pessoas que precisam de computação (passageiros) - No momento, o Boundless foi projetado para incentivar o pessoal da GPU a garantir que haja um excesso de oferta de capacidade (como o Uber garantiu que houvesse mais motoristas do que passageiros nos primeiros dias) - Qualquer pessoa no mundo que precise de computação pode enviar uma solicitação e as operadoras de GPU competem para licitá-la. - A rede recompensa os operadores de GPU pelo trabalho exato que realizam, criando um incentivo para fornecer computação. - Com cada solicitação (de carona), os solicitantes especificam quanto estão dispostos a pagar (pela corrida) e um requisito de garantia. - Os operadores de GPU (drivers) aceitam a solicitação quando acham que o preço é justo e oferecem garantias para mostrar que levam a sério a conclusão do trabalho (levar o passageiro ao destino) - Se o operador da GPU não concluir o trabalho a tempo, sua garantia será retirada dele (o motorista perde dinheiro). 50% disso se torna uma recompensa para outro operador de GPU pegar o trabalho para garantir que o solicitante receba sua computação (outro driver garante que o passageiro chegue ao seu destino) - Este mecanismo garante que os passageiros possam ter certeza de que sempre chegarão ao destino, não importa o que aconteça (forte confiabilidade) ZK lado das coisas: - Provas de conhecimento zero são um tipo de criptografia - As provas ZK permitem que alguém prove que fez um cálculo correto sem mostrar como o fez ou os dados internos. - O exemplo que sempre clicou foram os exemplos relacionados à privacidade: verificação de identidade privada (provando que você tem um passaporte válido sem revelar nenhum detalhe sobre ele) - No mundo blockchain, os ZKPs são usados principalmente para dimensionamento. Como os blockchains são computadores terríveis com limitações de computação, eles podem ser usados para agrupar transações e compactá-las (como um arquivo zip) em uma pequena prova que pode ser verificada quase instantaneamente. - Esta é a camada que o Boundless adiciona ao cálculo. Em vez de ser apenas um mercado descentralizado normal para computação, o Boundless também fornece uma prova para cada solicitação de computação. ...