{"product_id":"analise-rapida-e-escalavel-de-contratos-inteligentes-von-nodar-ambroladze","title":"Análise rápida e escalável de contratos inteligentes","description":"\u003cp\u003eConcebemos e implementamos um quadro rápido e escalável para os contratos inteligentes Ethereum. Fornece uma forma de codificar as propriedades personalizadas num contrato que será automaticamente verificado. O fuzzer toma um projecto de trufa como input, espoleta contratos e para cada contrato reporta cobertura, transbordos de inteiros, afirmações, qualquer violação de propriedades personalizadas e estatísticas sobre transacções falhadas\/sucedidas para cada método. É configurável para ajustar a estratégia de fuzzer para um domínio específico. Relatamos padrões de referência testando-o em vários cenários, incluindo mais de 30k contratos do mundo real implantados na cadeia principal do Ethereum.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786204503783\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786204503783","offer_id":39853728039005,"sku":"9786204503783","price":39.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/292f2ebc-032c-4e7a-ac2f-8ee383d6b5eb.png?v=1758781273","url":"https:\/\/shop.autorenwelt.de\/products\/analise-rapida-e-escalavel-de-contratos-inteligentes-von-nodar-ambroladze","provider":"Autorenwelt Shop","version":"1.0","type":"link"}