o oitavo dia de pesquisa, e hoje eu finalizei o pensamento de ontem. as páginas de pesquisa afirmam três garantias, mas na literatura de segurança uma garantia é apenas a segunda metade de uma frase. a primeira metade é "assumindo x." hoje eu coletei os x's.
assunção um, as próprias cadeias. cada garantia herda a segurança própria do bitcoin e do ethereum. se o bitcoin sofrer reorgs profundas, scripts de staking e seus time-locks oscilam com isso. se o ethereum parar, provas de resgate do tbv não têm nada a provar contra. é a assunção mais forte disponível nesta indústria.
assunção dois, honestidade de limiar no comitê do pacto. a execução de slashing requer consenso por maioria, o que significa que o teorema de segurança-sujeita-a-slashing só vale enquanto uma maioria permanece viva e honesta. os artigos tratam isso como o elemento humano residual que o protocolo trabalha para minimizar.
assunção três, vigilância. o procedimento de desafio do babe assume que alguém honesto está acordado durante a janela do desafio. a segurança é mantida se pelo menos um observador honesto capturar uma alegação fraudulenta a tempo. a criptografia não precisa de todo mundo honesto; ela precisa de alguém atento.
assunção quatro, racionalidade econômica. eots faz a equivocação revelar sua chave. um ator irracional disposto a queimar a própria participação para prejudicar um bsn é dissuadido apenas pelo tamanho da própria perda. slashing é um preço, e preços só governam pessoas que fazem aritmética.
agora a síntese. em ordem de fragilidade, minha leitura é: vigilância é a mais suave, honestidade do comitê em segundo lugar, racionalidade econômica em terceiro, e segurança da cadeia a mais difícil. os multi-sigs, os caps que haroon escavou, e os rollouts em fases se agrupam em torno das duas assunções mais suaves. a estrutura é construída exatamente onde os teoremas são mais fracos.
é isso que um protocolo de nível de pesquisa parece por dentro: não a ausência de assunções, mas o mapeamento honesto delas.
amanhã quero testar como essas assunções se compõem quando stacks de multi-staking colocam uma única moeda em muitas redes.
@BabylonLabs_io #baby $BABY
assunção um, as próprias cadeias. cada garantia herda a segurança própria do bitcoin e do ethereum. se o bitcoin sofrer reorgs profundas, scripts de staking e seus time-locks oscilam com isso. se o ethereum parar, provas de resgate do tbv não têm nada a provar contra. é a assunção mais forte disponível nesta indústria.
assunção dois, honestidade de limiar no comitê do pacto. a execução de slashing requer consenso por maioria, o que significa que o teorema de segurança-sujeita-a-slashing só vale enquanto uma maioria permanece viva e honesta. os artigos tratam isso como o elemento humano residual que o protocolo trabalha para minimizar.
assunção três, vigilância. o procedimento de desafio do babe assume que alguém honesto está acordado durante a janela do desafio. a segurança é mantida se pelo menos um observador honesto capturar uma alegação fraudulenta a tempo. a criptografia não precisa de todo mundo honesto; ela precisa de alguém atento.
assunção quatro, racionalidade econômica. eots faz a equivocação revelar sua chave. um ator irracional disposto a queimar a própria participação para prejudicar um bsn é dissuadido apenas pelo tamanho da própria perda. slashing é um preço, e preços só governam pessoas que fazem aritmética.
agora a síntese. em ordem de fragilidade, minha leitura é: vigilância é a mais suave, honestidade do comitê em segundo lugar, racionalidade econômica em terceiro, e segurança da cadeia a mais difícil. os multi-sigs, os caps que haroon escavou, e os rollouts em fases se agrupam em torno das duas assunções mais suaves. a estrutura é construída exatamente onde os teoremas são mais fracos.
é isso que um protocolo de nível de pesquisa parece por dentro: não a ausência de assunções, mas o mapeamento honesto delas.
amanhã quero testar como essas assunções se compõem quando stacks de multi-staking colocam uma única moeda em muitas redes.
@BabylonLabs_io #baby $BABY