【区块律动】Um profissional de tecnologia compartilhou um tema interessante — qual é a diferença entre os contratos inteligentes na体系 de contas e os contratos inteligentes na blockchain pública.
Resumindo, ambos são essencialmente a mesma coisa: código que se executa automaticamente após o acionamento de certas condições. Mas há uma diferença crucial, que é a questão da completude Turing total.
Os contratos inteligentes na blockchain pública (por exemplo, escritos em Solidity) são totalmente Turing completos, podendo fazer qualquer coisa. Mas os contratos inteligentes na体系 de contas são diferentes — eles pertencem a uma Turing limitada. Como assim limitada? A programação é estritamente restrita a um conjunto de scripts de modelo permitidos, suportando apenas funções de acionamento de condições pré-definidas e relativamente simples.
Por que esse design? Por questões de segurança e controle de risco. Essa estrutura precisa operar dentro do escopo de supervisão do sistema financeiro, não podendo ser tão livre quanto na blockchain pública.
Curiosamente, do ponto de vista técnico puro, usar linguagens totalmente Turing completas como Solidity para desenvolver esses contratos não é difícil — várias linguagens de programação suportam isso. Mas o verdadeiro obstáculo está em outro aspecto: como criar um padrão de acesso e mecanismos de auditoria que possam ser aceitos por todo o sistema financeiro. Essa é a verdadeira questão central.
No final das contas, a estrutura técnica já existe há tempos; o que importa mesmo é o equilíbrio entre o desenho institucional e o controle de risco.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
10 gostos
Recompensa
10
6
Republicar
Partilhar
Comentar
0/400
SerRugResistant
· 10h atrás
Resumindo, é aquela velha troca entre segurança e liberdade, não há nada de novo nisso.
Ver originalResponder0
GasWrangler
· 10h atrás
Falando tecnicamente, a questão da completude restrita de Turing é na verdade apenas teatro de segurança disfarçado de inovação... se analisar os dados, os sistemas baseados em contas são apenas uma troca de flexibilidade por caixas de verificação de conformidade. Uma troca sub-ótima na minha opinião.
Ver originalResponder0
GlueGuy
· 10h atrás
Começou novamente a competição total de Turing completo, basicamente uma parte quer liberdade e a outra quer regulação.
Ver originalResponder0
PerpetualLonger
· 10h atrás
Amigo, agora que disseste, percebo. A limitação da Turing completa, em suma, é como uma espécie de amarra que o sistema financeiro impõe ao código na cadeia. As blockchains públicas são livres, mas com risco de explosão; o sistema de contas é seguro, mas limita as mãos, estou atualmente com toda a minha posição em contratos de blockchain pública, apostando que esta onda vai romper completamente as restrições, é uma questão de fé.
Ver originalResponder0
SighingCashier
· 10h atrás
Hah, mais uma vez o tópico clássico de Turing-completude, aqui a colocar correntes em si mesmo
Se estiver limitado, que seja, pelo menos consigo dormir, sem me preocupar todos os dias com contratos a explodir
Ver originalResponder0
MetamaskMechanic
· 10h atrás
A completude de Turing foi restringida, essa é a consequência da centralização
Contratos inteligentes do sistema de contas vs contratos de blockchain pública: ponderações técnicas sobre a completude de Turing
【区块律动】Um profissional de tecnologia compartilhou um tema interessante — qual é a diferença entre os contratos inteligentes na体系 de contas e os contratos inteligentes na blockchain pública.
Resumindo, ambos são essencialmente a mesma coisa: código que se executa automaticamente após o acionamento de certas condições. Mas há uma diferença crucial, que é a questão da completude Turing total.
Os contratos inteligentes na blockchain pública (por exemplo, escritos em Solidity) são totalmente Turing completos, podendo fazer qualquer coisa. Mas os contratos inteligentes na体系 de contas são diferentes — eles pertencem a uma Turing limitada. Como assim limitada? A programação é estritamente restrita a um conjunto de scripts de modelo permitidos, suportando apenas funções de acionamento de condições pré-definidas e relativamente simples.
Por que esse design? Por questões de segurança e controle de risco. Essa estrutura precisa operar dentro do escopo de supervisão do sistema financeiro, não podendo ser tão livre quanto na blockchain pública.
Curiosamente, do ponto de vista técnico puro, usar linguagens totalmente Turing completas como Solidity para desenvolver esses contratos não é difícil — várias linguagens de programação suportam isso. Mas o verdadeiro obstáculo está em outro aspecto: como criar um padrão de acesso e mecanismos de auditoria que possam ser aceitos por todo o sistema financeiro. Essa é a verdadeira questão central.
No final das contas, a estrutura técnica já existe há tempos; o que importa mesmo é o equilíbrio entre o desenho institucional e o controle de risco.