Symbol: nsec3_add_nonexist_proof