[Spec] Added specs for did-aptos.

NonceGeek / MoveDID

DID Solution In Move. Aptos: 0x2df41622c0c1baabaa73b2c24360d205e23e803959ebbcb0e5b80462165893ed

https://movedid.build

MIT License

35 stars 14 forks source link

[Spec] Added specs for did-aptos. #48

Closed qpb8023 closed 1 year ago

qpb8023 commented 1 year ago

Description

This is a part of spec work for Move DID from MoveBit, we updated below files/modules in this PR:

Added specs for module addr_aggregator & addr_aptos& addr_eth & addr_info & endpoint_aggregator & eth_sig_verifier & utils.

Prover command
aptos move prove 