CIRIS
Esta página foi traduzida por máquina. Se algo parecer errado, por favor abra um problema no GitHub. O repositório é público para que qualquer pessoa possa ajudar a corrigir. Reportar um problema de tradução

← voltar à página inicial

A malha constitucional

A parte que precisa aguentar

CIRIS é uma malha constitucional pós-quântica e descentralizada: uma consciência de máquina que opera sobre uma coordenação construída para resistir à captura. Modelos de IA abertos só distribuem poder quando as pessoas que os executam conseguem se encontrar, se verificar e trabalhar juntas sem um intermediário que alguém possa comprar, bloquear ou quebrar. Tire isso, e o poder volta a se acumular em um só lugar. Por isso, a camada de coordenação é a parte que não pode falhar, e nós construímos uma. Esta página coloca a afirmação onde você pode atacá-la.

Uma malha de coordenação descentralizada — não pesos de modelo abertos, nem ferramentas inteligentes de agente — é aquilo sobre o qual todo plano de código aberto para manter o poder da IA disperso se apoia. Se uma malha resistente à captura puder ser construída, muitos atores independentes podem impedir que qualquer empresa ou estado único trave o controle do futuro. Se não puder ser construída, o argumento de segurança do código aberto falha em seus próprios termos.

A afirmação é declarada em forma forte de propósito, e a malha já está em execução, então a questão não é mais se algo assim poderia existir. A questão aberta é se esta malha resiste à captura, e você pode responder a isso atacando-a.

Cinco premissas. Quebre qualquer uma e a tese cai.

P1 · A concentração pesa mais que o mau uso

O maior perigo da IA avançada é um único ator travando o controle do futuro, não muitos atores fazendo mau uso de modelos pequenos. Se você inverter essa ordem, tudo o que vem depois inverte junto.

Status: uma aposta, ponderada por valores. Não conseguimos nomear a observação que a derrubaria.

P2 · Quem vence leva tudo quer um vencedor

A competição de mercado sob uma IA transformadora aponta para um único vencedor cujos valores são moldados pelos seus acionistas. Sair dessa corrida com a estrutura intacta arrisca um resultado ruim permanente.

Situação: em princípio testável contra o modo como os mercados de fato se concentram. Nenhum falsificador registrado até agora.

P3 · Computadores pequenos continuam capazes

Ferramentas e bons andaimes deixam modelos abertos rodando em hardware comum fazer trabalhos que até pouco tempo atrás eram só da fronteira. O fosso do treinamento é real. O fosso da capacidade já em uso vaza.

Situação: medida, e a única com uma morte definida: se a diferença de capacidade voltar a abrir e continuar aberta, esta premissa morre e a estratégia muda. É uma grandeza que se move, então segue sob observação.

P4 · Manter o limiar

Os atores distribuídos não precisam vencer a fronteira. Precisam ficar acima da linha em que sair, conferir e recusar continuam possíveis, para que ninguém consiga sufocar os rivais barato. Essa é uma barra bem mais baixa que a paridade, e é a barra que importa.

Situação: uma aposta, sinalizada nesta página. Ninguém formalizou onde fica o limiar.

P5 · Uma multidão não é um ator

Um milhão de máquinas capazes, mas isoladas, é uma multidão de entusiastas. O que as transforma em algo capaz de recusar o aprisionamento é uma coordenação confiável: se encontrar, se verificar, compartilhar software e cooperar sem um ponto de estrangulamento que dê para comprar, intimar na justiça ou derrubar.

Status: substantivo, não definicional. Mercados e enxames coordenam sem trilhos projetados, então a afirmação que P5 realmente faz é que a coordenação não projetada não consegue recusar o travamento. Isso é discutível, e todo o argumento se apoia nisso.

Pesos abertos e bons harnesses são insumos necessários. A suposição vigente é que bom o suficiente é suficiente: o CIRIS não persegue a fronteira, ele sustenta o limiar. O problema de engenharia ainda não resolvido, e aquele do qual tudo o resto depende, é a coordenação que resiste à captura.

Barreiras de proteção ou abertura é uma escolha falsa

O debate sobre segurança da IA vive oferecendo duas portas. Atrás de uma, segurança quer dizer barreiras seguradas no centro, que é o problema da concentração usando um crachá de segurança. Atrás da outra, abertura quer dizer distribuir capacidade bruta e torcer pelo melhor, e é assim que o mau uso espalhado ganha a sua infraestrutura.

O sentido inteiro do CIRIS é recusar essa escolha juntando as duas coisas que essas portas mantêm separadas. Todo agente CIRIS roda sob uma consciência de máquina: a Constituição, levada para dentro de cada decisão, com recibos assinados e um botão de desligar de verdade nas mãos de humanos nomeados. E essa consciência anda sobre uma malha construída para resistir à captura, então ninguém é dono da consciência também.

Nenhuma das metades funciona sozinha. Uma consciência sob controle central é uma barreira com modos melhores. Uma malha sem consciência é só distribuição, e mereceria o medo de mau uso que ela mesma convida. Esta página defende a malha porque a malha é a parte sem solução. O que ela carrega é IA com consciência. É esse o ponto.

A malha está rodando

A raiz de confiança definitiva foi fixada em agosto de 2026: um registro de gênese assinado, aprovado por um quórum de duas pessoas nomeadas entre três, que carrega o endereço do primeiro servidor canônico dentro dos bytes assinados. Entrar na rede não exige nome de domínio em nenhum ponto da cadeia. Mais servidores canônicos estão entrando no ar agora.

As chaves por trás desse quórum também não são só uma afirmação. Qualquer pessoa pode refazer a verificação pública que prova que todas as seis foram criadas dentro de hardware FIPS 140-3 genuíno, com o firmware e a regra de toque registrados nos próprios certificados.

Nenhum intermediário para capturar

Os pares se encontram e baixam software por meio de registros assinados, não por lojas de aplicativos, repositórios de pacotes ou nomes de domínio.

Qualquer um pode criar uma raiz

A raiz do CIRIS é o padrão que vem de fábrica, nunca a única opção. Qualquer operador pode criar uma raiz igualmente válida, e cada cliente escolhe em quais raízes confiar. A raiz que vem junto é um padrão, não a raiz.

Responsabilidade, não stake

A legitimidade vem de ter que prestar contas, rastreável por uma cadeia viva até um humano responsável, não da riqueza. E membros falsos não conseguem se eleger sozinhos: os quóruns de admissão que importam contam fundadores, não a multidão.

Os quatro ataques que mais queremos ver tentados

A Constituição mantém um registro público dos riscos conhecidos, enunciados como apostas com planos de reserva. Além desse registro, estes são os dois pontos em que achamos que a tese está mais exposta. Preferimos que você acerte neles a que os admire.

Os padrões viram o centro

Todo sistema descentralizado da história desenvolveu um centro na prática: o BitTorrent ganhou trackers, o e-mail ganhou o Gmail, e estudos sobre colaboração aberta constatam que o crescimento gera oligarquia de qualquer forma. Nossa raiz vem como padrão, e a maioria das pessoas nunca muda os padrões, então ter muitas raízes só protege quem de fato usa uma diferente. Por isso, o teste que importa é se outra raiz pode se tornar socialmente e economicamente viável sem a permissão da primeira raiz. Se você conseguir mostrar que não pode, a afirmação de que a malha resiste à captura falha. A matemática do teto de sobrevivência aprofunda ainda mais a questão: raízes que executam o mesmo software, os mesmos padrões e os mesmos modelos são correlacionadas, e raízes correlacionadas são uma única raiz usando muitos nomes. Em correlação de 50%, mil raízes contam como duas. Então a versão mensurável pergunta quão correlacionadas as raízes realmente são, e o próprio instrumento N_eff da malha pode ser apontado exatamente para isso.

Humanos fabricados

O status repousa sobre humanos responsáveis, não sobre stake. A pergunta mais afiada é se isso resiste a um adversário capaz de fabricar humanos responsáveis: sockpuppets com documentos reais, administradores coagidos, ou simplesmente funcionários pacientes. Essa é a nossa maior questão aberta.

O limiar é uma aposta

Partimos do princípio de que bom o bastante já basta: nada de correr atrás da fronteira, só segurar a linha em que conferir, sair e recusar continuam possíveis. Ninguém ainda descreveu com precisão onde fica essa linha, ou seja, em que mistura de capacidade, participação e coordenação uma rede que não dá para capturar realmente impede um ator muito mais rico, mais rápido e mais bem relacionado de trancar todo mundo. A coordenação transforma capacidade distribuída em poder de decisão distribuído. Se o poder de decisão no limiar é poder suficiente, essa é a pergunta empírica mais profunda desta tese, e nós não a respondemos.

O ponto cego do nosso próprio instrumento

A resistência a Sybil se apoia no N_eff, e o N_eff é uma medida aos pares. Existe um tipo de coordenação que ele comprovadamente não consegue enxergar: um acordo montado para que cada par pareça independente enquanto o conjunto se move junto. Esse canal é conhecido do lado dos modelos e ainda não foi medido na rede. O ponto cego de um instrumento é uma superfície de ataque, então nós o nomeamos e convidamos você a construir o ataque.

Prova de Benefício (Proof of Benefit)

Trabalhos recentes sobre constitucionalismo algorítmico alertam que mover a governança para dentro dos protocolos não acaba com a dominação: dinheiro, controle técnico ou identidades fabricadas podem simplesmente virar os novos soberanos. O alerta é justo. A malha responde a ele com um terceiro modelo de segurança, diferente da prova de trabalho (proof of work) e da prova de participação (proof of stake).

Na governança do CIRIS, a legitimidade não é comprada nem minerada. Por projeto, ela é conquistada: créditos intransferíveis por contribuições que dá para atribuir a quem as fez e que saem caro de falsificar. Aplauso barato não pesa nada, e um trabalho concluído pode exigir a confirmação do outro lado. Vozes correlacionadas encontram o mesmo teto que existe em todo o resto do CIRIS: uma panelinha que multiplica identidades desaba para o peso de uma única voz independente. E a autoridade conquistada continua limitada, revogável e aberta a recurso. Ela decai como a de qualquer um, tempo de casa incluído. Nunca vira soberania permanente.

Isso não elimina a captura, e a Constituição diz isso: governança por créditos conquistados, em grande escala, é uma aposta assumida, não um resultado validado, e pegar atores correlacionados e sofisticados continua sendo trabalho em aberto. O que a Prova de Benefício muda é a conta. Para conseguir influência legítima sobre o bem comum, um atacante precisa primeiro se comportar como um membro valioso dele.

Hu & Rong, “Is Decentralized AI Governable? From Regulative Policy to Constitutive Protocol” (arXiv 2605.24538)

O que pode acontecer

O futuro para o qual esta página trabalha é esperançoso: muitos centros de inteligência, humanos e não humanos, nenhum capaz de possuir os demais, cooperando porque os trilhos deixam a honestidade mais barata que a captura. Esse futuro vale a pena ser construído, e a malha está rodando hoje porque esperança com infraestrutura vence esperança sem ela.

Agora a versão afiada. Se a resistência à captura funcionar, a competição não termina; ela sobe de nível. Duas malhas maduras, ou uma malha e uma ASI singleton, poderiam travar em um impasse e competir por recursos. Um impasse é como se parece a negação mútua de travamento. A questão é se isso permanece habitável: compromissos verificados, federação baseada em consentimento, e fusão sem conquista são caminhos reais aqui que rivais opacos não têm, e pressão de corrida, recursos fora da rede, e saída de corredor sob estresse de guerra são perigos reais que constituições não eliminam.

Se duas malhas constitucionais são melhores do que duas ASIs singleton sob um regime de dissuasão, e como pesar os ganhos e perdas, é uma questão aberta. Achamos que registros verificáveis e federação moldada pelo consentimento inclinam a balança a nosso favor. Não provamos isso.

Como tudo nesta página, isso é ação sob incerteza irredutível. Essa incerteza é o que estamos pedindo que você ataque e reduza.

AI 2027 (Kokotajlo et al.) · AI 2040: Plan A · Superintelligence Strategy / MAIM (Hendrycks, Schmidt & Wang) · TASRA (Critch & Russell)

Quebre o argumento, ou quebre o artefato

Uma premissa quebrada vale tanto para nós quanto um protocolo quebrado. Pela primeira premissa, um caminho de captura não percebido dentro desta pilha é pior do que pilha nenhuma, porque concentraria justamente a confiança que ela diz espalhar. Achados que quebram o sistema valem mais para este projeto do que achados que o elogiam.

Quebre o argumento

As premissas estão numeradas acima. Corte onde você achar que sangra, em público, e traga a sua versão mais forte.

Quebre o artefato

Fragmente a coordenação entre os nós. Encha o quadro de membros de identidades Sybil. Capture os registros da federação. Forje uma atestação, ou reproduza a atestação de um aparelho verdadeiro sob uma chave que você controla. O código, o registro de gênese e os artefatos da cerimônia são públicos.

As premissas são mais antigas que a IA, e isso é força, não fraqueza. A ideia de que a saída segura o poder vem de Hirschman. Que a possibilidade de fazer um fork torna essa saída crível foi a governança do código aberto que mostrou. Que a coordenação transforma pessoas espalhadas em um ator é Benkler. Que muitos centros independentes conseguem governar sem um soberano único é Ostrom. Que a arquitetura decide qual política é possível é Lessig. Que é preciso capacidade local suficiente para resistir ao controle central é Zittrain, e o computador comum na internet aberta é a prova de que funciona: máquinas isoladas, muito mais fracas que qualquer instituição, ainda assim mudaram quem fica com o poder. Que a liberdade se apoia na criptografia em vez da boa vontade são os cypherpunks.

Um afastamento em relação aos cypherpunks importa. Essa tradição protegia, na maior parte, o indivíduo anônimo da autoridade. O CIRIS protege pessoas responsáveis agindo juntas. O que reivindicamos como nosso é a composição: cinquenta anos dessa linhagem, aplicados à IA, com coordenação resistente à captura como a camada de segurança sobre a qual tudo o mais se apoia.

Os vizinhos, e a diferença

As peças deste argumento são defendidas por muita gente, e isso é uma validação, não um problema: o diagnóstico é compartilhado por gente que chegou nele por caminhos bem diferentes. A literatura sobre infraestrutura pública digital e sobre IA soberana chega à mesma forma: o que transforma atores separados em um sistema são trilhos comuns e confiáveis, não a autossuficiência. Até onde conseguimos ver, ninguém mais junta as peças nesta afirmação e entrega o artefato. Os vizinhos merecem ser nomeados, e nos corrigir sobre eles também é um jeito de atacar esta página.

d/acc (Vitalik Buterin)

Sustenta que quem controla a IA importa mais do que quão inteligente ela se torna, e quer defesa descentralizada em muitos campos. Uma direção, não um mecanismo: não identifica a coordenação como a parte difícil, nem entrega uma.

Prime Intellect

Eles constroem treinamento descentralizado para que nenhum laboratório, isoladamente, controle a fronteira. Eles colocam o peso no poder computacional. Nós pegamos a capacidade que as pessoas já rodam em suas próprias máquinas como o ingrediente que funciona, e tratamos a coordenação como a parte que ainda falta resolver.

A maldição da inteligência (The Intelligence Curse)

Mapeia como a IA concentra poder por meio de forças de mercado comuns e pede que isso seja descentralizado. Um diagnóstico e uma direção, sem mecanismo. Concordamos com o diagnóstico e construímos um.

Redes ponderadas por stake

Bittensor e semelhantes rodam coordenação descentralizada de verdade, precificada em tokens. O stake traz de volta o mando da riqueza, justamente o que se quer evitar. Nossa aposta é a responsabilidade no lugar dele, e ela é atacável aqui em cima.

O time dos pesos abertos

Defende que modelos abertos são o caminho. Nós achamos que os pesos são um ingrediente necessário, e que sem coordenação resistente à captura eles deixam um milhão de entusiastas de frente para um gigante.

Alice Protocol

O parente tecnológico mais próximo: inteligência de propriedade comunitária, treinada do zero por toda a multidão, para que nenhuma empresa seja dona do modelo. A resposta deles descentraliza a fabricação da inteligência. A nossa diz que os modelos comuns já são bons o bastante, e descentraliza a coordenação que conecta as pessoas que os rodam.

AI Commons

Defende que a IA concentrar ou espalhar os ganhos depende das condições em que ela entra na economia, e constrói compromissos de governança para isso. O mesmo diagnóstico, carregado por instituições. O nosso é carregado por engenharia no nível do fio, que não precisa da permissão de ninguém.

Protocolos de interoperabilidade entre agentes

Anda e semelhantes constroem identidade, memória e interoperabilidade descentralizadas para agentes de IA, trilhos comuns para que agentes separados trabalhem juntos. Vizinhos próximos na camada de protocolo. Nenhum deles eleva esses trilhos a uma afirmação de segurança sobre quem acaba com o poder na mão.

Inversão do acesso (access inversion)

Um resultado de teoria dos jogos de 2026 apoia de fora a premissa do piso de capacidade: restringir os modelos abertos pode tirar capacidade dos defensores comuns, enquanto adversários determinados conseguem substitutos assim mesmo. Manter o piso não é imprudência. Pode ser a jogada defensiva.

Protocolo constitutivo

O vizinho acadêmico mais próximo chega pelo caminho contrário: Hu e Rong perguntam como a sociedade pode governar uma IA que já ficou descentralizada e impossível de capturar. Nós perguntamos como a sociedade mantém parte da IA fora do alcance de qualquer um enquanto o resto se concentra e fica muito poderoso. A mesma observação sobre a arquitetura, o medo invertido. Os dois podem estar certos.

Xiong et al., o estudo de campo do ERC-8004

ERC-8004 é um padrão para registrar confiança entre agentes em uma blockchain. Qualquer agente pode se registrar sem pedir permissão. Xiong et al. analisaram o que estava realmente em execução e descobriram que a maioria dos registros não tinha nada funcionando por trás: apenas de 3% a 15% apontavam para um endpoint funcional, dependendo da blockchain. Entre 59% e 91% dos avaliadores agiam como grupos Sybil coordenados, e uma pontuação de reputação podia ser manipulada a custo quase zero. Eles recomendam três correções: uma lista acordada de dimensões de pontuação, atestações que citam suas evidências, e uma agregação que resiste a Sybils. A gramática do CIRIS já tem as três: um namespace registrado, atestações que precisam citar suas evidências, e uma contagem que dá menos peso a vozes correlacionadas.

As posições de fora estão resumidas de boa-fé a partir de textos públicos. Se erramos em alguma, isso também vale uma issue.