0xMiden / 0xMiden/miden-vm

Implement ECDSA over ECExt5

Open
#3,480 0 comments 0 reactions 0 assignees View on GitHub
corelib signatures
Dominant language
Rust
Stars
772
Forks
352
Avg merge
1d 12h
Merged PRs (30d)
93

Description

Right now we're trying to implement ECDSA ( over `ec_ext5` curve ) signature verification routine in Miden assembly, for which all necessary underlying constructions are *almost* ready

- Base field arithmetic : https://github.com/maticnetwork/miden/pull/414
- Scalar field arithmetic : https://github.com/maticnetwork/miden/pull/498
- Group arithmetic : https://github.com/maticnetwork/miden/pull/429

But if you notice carefully, you'll see for this we had to write important cryptographic primitives inside test directory of https://github.com/maticnetwork/miden which is not good. I'd like to have all Miden related cryptographic requirements living here and get them imported as development dependencies for ensuring that test vectors can be generated on-the-fly and functional correctness of Miden assembly implementations can be ensured that way. This also makes dependency graph more modular which makes it easier to comprehend and finally audit.

So I'll move all these routines here ( now living [here](https://github.com/itzmeanjan/miden/tree/a7660d706e3c70f12196aceb5fb1fab83efd4475/miden/tests/integration/stdlib/math/ec_ext5) ) so that we have ECDSA ( over `ec_ext5` curve ) keygen/ sign/ verify implemented.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.