-
Notifications
You must be signed in to change notification settings - Fork 11.3k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
crypto: Add r1 ecrecover and verify to Move (#7773)
# What changed `ecdsa_k1::ecrecover(sig, hashed_msg, hash_function)` -> `ecdsa_k1::secp256k1_ecrecover(sig, msg, hash_function)` `ecdsa_k1::secp256k1_verify(sig, pk, hashed_msg)` -> `ecdsa_k1::secp256k1_verify(sig, pk, msg, hash_function)` new: `ecdsa_r1::secp256k1_ecrecover(sig, msg, hash_function)` new: `ecdsa_r1::secp256k1_verify(sig, pk, msg)` See md file for detailed descriptiosn. # What to do Caller of these APIs required to provide the raw message instead of the hashed message, and provide the hash_function name (represented by u8, move does not have a concept of enum)
- Loading branch information
Showing
16 changed files
with
547 additions
and
263 deletions.
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,148 @@ | ||
|
|
||
| <a name="0x2_ecdsa_r1"></a> | ||
|
|
||
| # Module `0x2::ecdsa_r1` | ||
|
|
||
|
|
||
|
|
||
| - [Constants](#@Constants_0) | ||
| - [Function `secp256r1_ecrecover`](#0x2_ecdsa_r1_secp256r1_ecrecover) | ||
| - [Function `secp256r1_verify`](#0x2_ecdsa_r1_secp256r1_verify) | ||
|
|
||
|
|
||
| <pre><code></code></pre> | ||
|
|
||
|
|
||
|
|
||
| <a name="@Constants_0"></a> | ||
|
|
||
| ## Constants | ||
|
|
||
|
|
||
| <a name="0x2_ecdsa_r1_EFailToRecoverPubKey"></a> | ||
|
|
||
| Error if the public key cannot be recovered from the signature. | ||
|
|
||
|
|
||
| <pre><code><b>const</b> <a href="ecdsa_r1.md#0x2_ecdsa_r1_EFailToRecoverPubKey">EFailToRecoverPubKey</a>: u64 = 0; | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| <a name="0x2_ecdsa_r1_EInvalidSignature"></a> | ||
|
|
||
| Error if the signature is invalid. | ||
|
|
||
|
|
||
| <pre><code><b>const</b> <a href="ecdsa_r1.md#0x2_ecdsa_r1_EInvalidSignature">EInvalidSignature</a>: u64 = 1; | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| <a name="0x2_ecdsa_r1_KECCAK256"></a> | ||
|
|
||
| Hash function name that are valid for ecrecover and secp256k1_verify. | ||
|
|
||
|
|
||
| <pre><code><b>const</b> <a href="ecdsa_r1.md#0x2_ecdsa_r1_KECCAK256">KECCAK256</a>: u8 = 0; | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| <a name="0x2_ecdsa_r1_SHA256"></a> | ||
|
|
||
|
|
||
|
|
||
| <pre><code><b>const</b> <a href="ecdsa_r1.md#0x2_ecdsa_r1_SHA256">SHA256</a>: u8 = 1; | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| <a name="0x2_ecdsa_r1_secp256r1_ecrecover"></a> | ||
|
|
||
| ## Function `secp256r1_ecrecover` | ||
|
|
||
| @param signature: A 65-bytes signature in form (r, s, v) that is signed using | ||
| Secp256r1. Reference implementation on signature generation using RFC6979: | ||
| https://github.com/MystenLabs/fastcrypto/blob/74aec4886e62122a5b769464c2bea5f803cf8ecc/fastcrypto/src/secp256r1/mod.rs | ||
| The accepted v values are {0, 1, 2, 3}. | ||
| @param msg: The message that the signature is signed against, this is raw message without hashing. | ||
| @param hash: The u8 representing the name of hash function used to hash the message when signing. | ||
|
|
||
| If the signature is valid, return the corresponding recovered Secpk256r1 public | ||
| key, otherwise throw error. This is similar to ecrecover in Ethereum, can only be | ||
| applied to Secp256r1 signatures. | ||
|
|
||
|
|
||
| <pre><code><b>public</b> <b>fun</b> <a href="ecdsa_r1.md#0x2_ecdsa_r1_secp256r1_ecrecover">secp256r1_ecrecover</a>(signature: &<a href="">vector</a><u8>, msg: &<a href="">vector</a><u8>, <a href="hash.md#0x2_hash">hash</a>: u8): <a href="">vector</a><u8> | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| <details> | ||
| <summary>Implementation</summary> | ||
|
|
||
|
|
||
| <pre><code><b>public</b> <b>native</b> <b>fun</b> <a href="ecdsa_r1.md#0x2_ecdsa_r1_secp256r1_ecrecover">secp256r1_ecrecover</a>(signature: &<a href="">vector</a><u8>, msg: &<a href="">vector</a><u8>, <a href="hash.md#0x2_hash">hash</a>: u8): <a href="">vector</a><u8>; | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| </details> | ||
|
|
||
| <details> | ||
| <summary>Specification</summary> | ||
|
|
||
|
|
||
|
|
||
| <pre><code><b>pragma</b> opaque; | ||
| <b>aborts_if</b> [abstract] <b>true</b>; | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| </details> | ||
|
|
||
| <a name="0x2_ecdsa_r1_secp256r1_verify"></a> | ||
|
|
||
| ## Function `secp256r1_verify` | ||
|
|
||
| @param signature: A 64-bytes signature in form (r, s) that is signed using | ||
| Secp256r1. This is an non-recoverable signature without recovery id. | ||
| Reference implementation on signature generation using RFC6979: | ||
| https://github.com/MystenLabs/fastcrypto/blob/74aec4886e62122a5b769464c2bea5f803cf8ecc/fastcrypto/src/secp256r1/mod.rs | ||
| @param public_key: The public key to verify the signature against | ||
| @param msg: The message that the signature is signed against, this is raw message without hashing. | ||
| @param hash: The u8 representing the name of hash function used to hash the message when signing. | ||
|
|
||
| If the signature is valid to the pubkey and hashed message, return true. Else false. | ||
|
|
||
|
|
||
| <pre><code><b>public</b> <b>fun</b> <a href="ecdsa_r1.md#0x2_ecdsa_r1_secp256r1_verify">secp256r1_verify</a>(signature: &<a href="">vector</a><u8>, public_key: &<a href="">vector</a><u8>, msg: &<a href="">vector</a><u8>, <a href="hash.md#0x2_hash">hash</a>: u8): bool | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| <details> | ||
| <summary>Implementation</summary> | ||
|
|
||
|
|
||
| <pre><code><b>public</b> <b>native</b> <b>fun</b> <a href="ecdsa_r1.md#0x2_ecdsa_r1_secp256r1_verify">secp256r1_verify</a>(signature: &<a href="">vector</a><u8>, public_key: &<a href="">vector</a><u8>, msg: &<a href="">vector</a><u8>, <a href="hash.md#0x2_hash">hash</a>: u8): bool; | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| </details> | ||
|
|
||
| <details> | ||
| <summary>Specification</summary> | ||
|
|
||
|
|
||
|
|
||
| <pre><code><b>pragma</b> opaque; | ||
| <b>aborts_if</b> [abstract] <b>true</b>; | ||
| </code></pre> | ||
|
|
||
|
|
||
|
|
||
| </details> |
Oops, something went wrong.
3919544There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Successfully deployed to the following URLs:
wallet-adapter – ./sdk/wallet-adapter/example
wallet-adapter-git-main-mysten-labs.vercel.app
wallet-adapter-mysten-labs.vercel.app
sui-wallet-adapter.vercel.app
3919544There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Successfully deployed to the following URLs:
frenemies – ./dapps/frenemies
frenemies.vercel.app
frenemies.sui.io
frenemies-git-main-mysten-labs.vercel.app
frenemies-mysten-labs.vercel.app
3919544There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Successfully deployed to the following URLs:
explorer – ./apps/explorer
explorer-mysten-labs.vercel.app
explorer.sui.io
explorer-topaz.vercel.app
explorer-git-main-mysten-labs.vercel.app
3919544There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Successfully deployed to the following URLs:
explorer-storybook – ./
explorer-storybook-mysten-labs.vercel.app
explorer-storybook.vercel.app
explorer-storybook-git-main-mysten-labs.vercel.app