Anjan Roy
Anjan Roy
- [x] Implement Number Theoretic Transform (NTT) for a vector of length 512 s.t. each element ∈ Zp | p = 2^64 - 2^32 + 1. - [x] Implement inverse...
Implemented | Functionality | Cost ( in VM Cycles) :-: | --- | --: ✅ | Validate one encoded point | 710 ✅ | Decode one encoded point to Weierstraß...
Here I implement field arithmetic for extension field GF(p^5) | p = 2^64 - 2^32 + 1 ( = Miden base field prime ). > This works follows paper https://eprint.iacr.org/2022/274...
- [ ] ECDSA keygen/ sign/ verify over ecgfp5 curve, in Rust - [ ] ECDSA verify over ecgfp5, in Miden assembly > **Note** More about ecgfp5 curve https://ia.cr/2022/274 >...
For FRI `verify_remainder_64` routine ( which we implement in PR #644 ), we depend on polynomial interpolation, performed outside of the VM, using advice providers ( see `adv.ext2intt` which we...
Right now it's pretty expensive to compute multiplicative inverse over `ec_ext5` scalar field ( see https://github.com/maticnetwork/miden/pull/498 ), though it can be drastically reduced if we make use of non-deterministic technique....
If you look at current implementation of standard library (user-facing) routines - Blake3 ( https://github.com/maticnetwork/miden/blob/33c45c13743515673279817393223a6b3f14203f/stdlib/asm/crypto/hashes/blake3.masm#L714-L727 ) - Sha256 ( https://github.com/maticnetwork/miden/blob/33c45c13743515673279817393223a6b3f14203f/stdlib/asm/crypto/hashes/sha256.masm#L1530-L1545 ) - Keccak256 ( https://github.com/maticnetwork/miden/blob/33c45c13743515673279817393223a6b3f14203f/stdlib/asm/crypto/hashes/keccak256.masm#L3472-L3488 ) - Falcon512 Signature (...
Sent patches addressing issue #39
Adds support for running `dudect` -based constant-time tests on more targets i.e. aarch64 (running Linux kernel), Apple Silicon and more non-x86_64 targets. Partially addresses https://github.com/oreparaz/dudect/issues/33.
Right now we don't have `.clang-format` file for `dudect`, so source formatting is not consistent across IDEs. I propose we adopt "Mozilla" code style template from ClangFormat. See https://clang.llvm.org/docs/ClangFormatStyleOptions.html. Generate...