Formleg staðfesting Crypto Nota stærðfræðilega strangar sannanir til að tryggja ákveðna eiginleika dulmáls reiknirit og blockchain kerfi