Títulos Seguros de Propriedade com Autoridade do dono - Cypherpunks Brasil
O advento da escrita melhorou muito o rastreamento dos direitos de propriedade e, de fato, deu origem a nossos modernos sistemas de direitos de propriedade e leis. No entanto, registros escritos provaram ser bastante vulneráveis ao abuso. Um padrão comum durante eras de instabilidade política ou opressão foi o confisco de terras através da falsificação ou destruição de registros públicos. A reconstrução de registros informais, como a residência registrada em listas telefônicas, mesmo quando possível, é custosa e repleta de erros e potencial para fraudes[1] . Muitas propriedade em alguns países em desenvolvimento não são formalmente tituladas[2] . Mesmo durante eras de estabilidade política em países desenvolvidos, ocorrem muitos problemas graves com títulos. [3] Transcrição direta de registros escritos em um repositório online centralizado tornaria muitos desses problemas ainda piores – registros eletrônicos podem ser altamente vulneráveis a perdas e falsificações, e "hacks internos" são a fonte mais comum de tais ataques. Este artigo propõe um banco de dados de títulos seguro e distribuído para evitar tais ataques contra os direitos de propriedade no futuro.
Muitos tipos de recursos da Internet têm uma característica básica: os usuários devem concordar com seu controle através dos limites de confiança. Um grande exemplo é o nome. O artigo "Nomes: Descentralizado, Seguro, com Significado Humano: Escolha Dois" dispensa não apenas a onipresença e importância desse problema, mas também a possibilidade de solução.[4] Como alternativa, petnames (nomes de animais) são propostos. Esses são, na melhor das hipóteses, meros mnemônicos para traduzir nomes humanamente legíveis em nomes criptográficos; petnames não fazem nada para garantir a nomeação através dos limites de confiança. Todos os três atributos – descentralizado, seguro e com significado humano – deve ser fornecido para que as pessoas se comuniquem e sejam comunicadas com segurança pela Internet, e este documento, juntamente com o artigo [Avanços na Segurança Distribuída]({{url_for('slugview', slug='advances-in-distributed-security')}} "Advances in Distributed Security"), mostram como fornecer todos os três.
De maneira mais geral, mostramos como implementar direitos globais transferíveis, aplicados inteiramente por protocolo, a nomes, atribuições, [bit gold]({{url_for('slugview', slug='bit-gold')}}), e propriedade puramente informatizada de uma entidade específica, mas possuídos e invocados pelo público, e como implementar banco de dados de títulos para outros tipos de propriedade. Para um exemplo específico de direitos de limite de confiança cruzada aplicados inteiramente por protocolo, consulte minha proposta de integridade de nome em sistemas de arquivos com limite de confiança cruzado .
Novos avanços na tecnologia de bancos de dados replicados nos permitirão manter e transferir com segurança a propriedade de uma grande variedade de tipos de propriedade, incluindo não apenas terras, bens móveis, nomes e endereços. Essa tecnologia nos dará registros públicos que podem "sobreviver a uma guerra nuclear", nos moldes do objetivo original do design da Internet. Enquanto bandidos ainda podem tomar propriedade física à força, a existência continuada de registros de propriedade corretos ainda será uma dificuldade para os requerentes usurpadores.
Eu uso palavras políticas neste ensaio como metáforas para descrever como nosso software de título de propriedade hipotético, e especialmente seu protocolo para distribuir o banco de dados de títulos através de uma rede pública, poderia funcionar. Um grupo chamado clube de propriedade se reúne na Internet[5] e decide acompanhar o dono de alguma propriedade. A propriedade é representada por títulos: nomes referentes à propriedade e a chave pública correspondente a uma chave privada mantida pelo seu proprietário atual, assinada pelo proprietário anterior, juntamente com uma cadeia de títulos anteriores. Os nomes dos títulos podem descrever "completamente" a propriedade, por exemplo, alocações em um namspace. (Claro, nomes sempre se referem a algo, a semântica, então tal descrição não é realmente completa). Ou os nomes dos títulos podem ser simplesmente rótulos referentes à propriedade. Várias regras e descrições – mapas, ações e assim por diante – podem ser incluídos.
O clube de propriedade pode ser pensado como um "microgoverno", uma entidade que desempenha globalmente e de forma independente uma função limitada normalmente associada ao governo. Em particular, é uma "microdemocracia constitucional" com baixos custos de entrada e saída. Após as regras de transferência de propriedade terem sido decididas, cada voto deve permanecer dentro desta constituição – de modo que normalmente o voto simplesmente implementará uma operação distribuída de acordo com as regras de propriedade. A votação é necessária não devido a uma ideologia política democrática, mas porque é o resultado ideal na análise de bancos de dados distribuídos com invasores mal-intencionados.[6] Se as regras forem violadas pelos eleitores vencedores, os perdedores corretos podem sair do grupo e reformar um novo grupo, herdando os títulos antigos. Os usuários dos títulos (partes confiantes) que desejam manter os títulos corretos podem verificar com segurança para si mesmos qual grupo dissidente seguiu corretamente as regras e alternou para o grupo correto. Se as regras forem violadas pela perda de eleitores, elas podem ser excluídas da participação adicional tanto dos vencedores corretos quanto das partes confiáveis que seguem as regras.
Este método de votação ou reforma funciona bem onde os custos de saída são baixos. Assim, na prática, os usuários não devem "colocar todos os ovos na mesma cesta", mas clubes de títulos diferentes devem ser usados para diferentes tipos de propriedade. Observe que o principal recurso de segurança do clube não é a votação, mas um conjunto de regras objetivas, muitas vezes automatizadas, e uma trilha de auditoria não comprovada que permite que tanto os membros do clube quanto as partes confiantes verifiquem se cada votação seguiu as regras. Então, para ir mais longe com a metáfora política, um clube de propriedade é uma "microdemocracia constitucional", com ênfase no "constitucional". A votação é necessária, mas é bastante regulamentada.
Para implementar um clube de propriedade, montamos um banco de dados replicado para que os membros do clube, de agora em diante "servidores", possam manter com segurança os títulos de propriedade e transferi-los com segurança mediante solicitação dos proprietários atuais. Na verdade, fazer com que os usuários finais respeitem os direitos de propriedade acordados por este sistema dependerá da natureza específica da propriedade e está além do escopo da consulta atual. O objetivo do banco de dados replicado é simplesmente concordar com segurança sobre quem possui o quê. O banco de dados inteiro é público.
A atual proprietária Alice deve poder transferir seu título para apenas uma única contraparte confiável (semelhante ao problema de "gasto duplo" em dinheiro digital)
Não podemos alcançar os ideais (1) e (3), por isso introduzimos o "voto" da seguinte maneira. Um bom modelo de bancos de dados replicados seguros é o "Sistema de Quorum Bizantino" de Malkhi & Reiter [6] . Em contraste com o trabalho mais recente em software peer-to-peer, nosso design é baseado em provas matemáticas de segurança em vez de acenar com a mão. Para uma breve discussão sobre essas abordagens de limiar de servidores, veja meu ensaio "Design de Coalizão para Protocolos Seguros" . O banco de dados é replicado em um universo de servidores U, |U|=n. O "sistema de quorum" é uma coleção de subconjuntos (quorum) desses servidores, cada um dos quais se cruza. Cada quórum pode operar em nome do sistema; a interseção garante que as operações feitas em quorums distintos preservam a consistência. Um sistema de quorum tolerante a falhas de servidor bizantinas (maliciosas incondicionalmente) é uma coleção de subconjuntos de servidores, cada um dos quais se cruza em um conjunto contendo muitos servidores corretos para garantir a consistência dos dados replicados. Os autores constroem um protocolo de tal forma que qualquer interseção contenha pelo menos 2f+1 servidores, fornecendo assim resiliência contra até f servidores maliciosos, n > 4f.
Para alguns tipos de alocação, como regiões espaciais ou um namespace hierárquico, desejamos poder subdividir e re-mesclar propriedades. A atual proprietária Alice deve ser capaz de transferir várias partes fracionárias de seu título para várias contrapartes individuais e confiáveis. Uma possibilidade é ter mensagens "divididas" ou "mescladas", onde o proprietário atual de uma propriedade pode aposentar as especificações antigas da propriedade e vinculá-las a novas especificações de propriedade, sendo a mensagem inteira assinada pelo proprietário. Em seguida, as novas especificações de propriedade são introduzidas e consideradas ativas e as antigas consideradas desativadas. Seria responsabilidade dos remetentes subseqüentes garantir que as novas especificações não se cruzem e estejam em bom estado.
Uma forma de abordar o problema do homesteading, ou alocação inicial, chamo de "respeito emergente": Alice reivindica todo o universo não alocado. Bob também o afirma, a mesma especificação de propriedade sob uma assinatura digital diferente. Eles podem então escolher subdividir, vender, dar, etc. propriedade. Cada raiz conflitante cresce como uma árvore em uma alocação de todas as propriedades.
Este método não tenta definir ou utilizar um estado de "desuso". Em vez disso, equaciona a atividade da propriedade com a presença on-line ativa de um proprietário que conhece o título e deseja continuar com a propriedade. O custo de manutenção do título pode ser alto, exigindo uma taxa de registro periódica dos proprietários. No entanto, isso introduz o problema de quem obtém o benefício, pelas regras do clube de propriedade, dos lucros dessa taxa e o problema de que a taxa reduz o lucro de possuir a propriedade, mesmo que seja negativa. Uma possibilidade, em que os custos de proteção da propriedade são altos, é cobrar uma "taxa georgiana" com base em alguma estimativa imprecisa, mas objetiva do valor potencial da propriedade, e alocar as taxas para a tarefa de proteger a propriedade. Para chegar a esta estimativa, ou para explicar o uso da propriedade em si, envolveria mecanismos ou observação de características específicas para o tipo de propriedade, como vamos tratar a seguir.
Meus agradecimentos a Gregory Burch, J.D., Eileen O'Connor, J.D., Melora Svoboda, e muitos outros por seus comentários úteis.
Kelly McCollum, "Using Phone Books, Scholars Build a Data Base for Resettling Kosovars" ↩
Bryce "Zooko" Wilcox, Names: Decentralized, Secure, Human-Meaningful: Choose Two ↩
Property on the Internet may take all kinds of new forms. For analysis one recently emerged form, the ownership of open source software projects, see Eric Raymond, "Homesteading the Noosphere". ↩