implement canon addr sig check circuit, verifier, sdk wrapper

[Sladuca]

Motivation

Want to prevent people from registering false mappings between ethereum addresses and nocturne canonical addresses in the address registry

Solution

• add a circuit called CanonAddrSigCheck through which client proves they know spend key corresponding to claimed canonical address
• add contract unit test, SDK types, local prover wasm impl, and helper fn in frontend sdk

Proof

https://www.loom.com/share/6f0137f7410e4e968ce09dbff6fa5651?sid=d4217b60-9beb-473c-8bb0-bea591d40f6a

PR Checklist

• added tests
• updated documentation
• added changeset if necessary
• tested in dev/testnet
• tested site with snap (we haven't automated this yet)
• re-built & tested circuits if any of them changed
• updated contracts storage layout (if contracts were updated)

[changeset-bot]

🦋 Changeset detected

Latest commit: c4d03f3

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 13 packages

Name	Type
@nocturne-xyz/contracts	Patch
@nocturne-xyz/snap	Patch
@nocturne-xyz/frontend-sdk	Patch
@nocturne-xyz/local-prover	Patch
@nocturne-xyz/core	Patch
@nocturne-xyz/circuits	Patch
@nocturne-xyz/deploy	Patch
@nocturne-xyz/bundler	Patch
@nocturne-xyz/deposit-screener	Patch
@nocturne-xyz/subtree-updater	Patch
@nocturne-xyz/test-actor	Patch
@nocturne-xyz/idb-kv-store	Patch
@nocturne-xyz/persistent-log	Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[Sladuca]

Current dependencies on/for this PR:

• main
  • PR implement canon addr sig check circuit, verifier, sdk wrapper #433 👈

This comment was auto-generated by Graphite.

[luketchang]

Lgtm to me, there is one comment in circuit though that is misleading and should be fixed

[luketchang]

This should say knowledge of spending key not viewing key