rusk vm é a parte do whitepaper que me fez perceber que isso não é apenas uma cadeia de privacidade com passos extras; na verdade, está construindo seu próprio ambiente de execução.
ele é baseado em webassembly, então herda a maior parte dos opcodes nativos do wasm, mas então adiciona funções host por cima. hashing, matemática de curva elíptica, checagens de assinatura, verificação de prova de conhecimento zero—tudo chamável nativamente, em vez de ser “parafusado”
de 0n por meio de alguma biblioteca externa.
os preços de gas para cada chamada de função, o que o mantém quase Turing completo em vez de totalmente Turing completo, basicamente um workaround para o problema..$BOME
do problema da parada, então a execução não pode rodar para sempre.
o que chama atenção é a verificação nativa de zk. a maioria das vms trata a verificação de prova como uma computação externa cara; a rusk trata.>$BTW
isso como uma operação de primeira classe. curioso para comparar os custos de gas da verificação de zk com uma chamada de contrato normal nesse negócio?
#dusk @Dusk $DUSK
ele é baseado em webassembly, então herda a maior parte dos opcodes nativos do wasm, mas então adiciona funções host por cima. hashing, matemática de curva elíptica, checagens de assinatura, verificação de prova de conhecimento zero—tudo chamável nativamente, em vez de ser “parafusado”
de 0n por meio de alguma biblioteca externa.
os preços de gas para cada chamada de função, o que o mantém quase Turing completo em vez de totalmente Turing completo, basicamente um workaround para o problema..$BOME
do problema da parada, então a execução não pode rodar para sempre.
o que chama atenção é a verificação nativa de zk. a maioria das vms trata a verificação de prova como uma computação externa cara; a rusk trata.>$BTW
isso como uma operação de primeira classe. curioso para comparar os custos de gas da verificação de zk com uma chamada de contrato normal nesse negócio?
#dusk @Dusk $DUSK
