Informazioni sul servizio
TradottoSviluppo e verifico smart contract per la blockchain Tezos a tutti i livelli dello stack. Michelson è un linguaggio di stack a basso livello che la macchina virtuale Tezos esegue effettivamente, ed è progettato per essere adatto alla verifica formale. Scrivo contratti direttamente in Michelson quando è necessario un controllo preciso su gas, storage e operazioni di stack, e utilizzo linguaggi di livello superiore come LIGO e SmartPy quando un percorso più veloce e leggibile verso lo stesso bytecode è più importante. Da qualsiasi punto di partenza, leggo e analizzo il Michelson compilato in modo che tu sappia esattamente cosa entra nella rete.
Cosa ottieni: un contratto funzionante con uno schema di storage ben pensato e punti di ingresso; standard di token FA2 e FA1.2 implementati correttamente; test modulari e di proprietà; revisione dei costi di gas e storage; un rapporto con una suddivisione di ciascun punto di ingresso, ramo di fallimento e controllo dei permessi. Testo nel sandbox e su Ghostnet prima del lancio della mainnet e documento i passaggi di origine e aggiornamento in modo che il tuo team possa ridistribuire senza di me.
Audito anche contratti già pronti: costruisco una mappa di storage, traccio ciascun punto di ingresso, cerco reentrancy, overflow di interi, controllo degli accessi rotto e chiamate esterne non sicure, e fornisco un elenco prioritario di risultati con correzioni. Inviami una specifica o il codice attuale — risponderò con l'ambito di lavoro, un prezzo fisso e una tempistica.
Cosa ottieni: un contratto funzionante con uno schema di storage ben pensato e punti di ingresso; standard di token FA2 e FA1.2 implementati correttamente; test modulari e di proprietà; revisione dei costi di gas e storage; un rapporto con una suddivisione di ciascun punto di ingresso, ramo di fallimento e controllo dei permessi. Testo nel sandbox e su Ghostnet prima del lancio della mainnet e documento i passaggi di origine e aggiornamento in modo che il tuo team possa ridistribuire senza di me.
Audito anche contratti già pronti: costruisco una mappa di storage, traccio ciascun punto di ingresso, cerco reentrancy, overflow di interi, controllo degli accessi rotto e chiamate esterne non sicure, e fornisco un elenco prioritario di risultati con correzioni. Inviami una specifica o il codice attuale — risponderò con l'ambito di lavoro, un prezzo fisso e una tempistica.
