Elliptic Curve Digital Signature Algorithm: Difference between revisions
Elliptic Curve Digital Signature Algorithm (view source)
Revision as of 17:12, 28 February 2020
, 4 years ago→{{header|Perl 6}}: Thanks to Thundergnat for the advice ; use the correct lib ; remove unnecessary int/str round trip ; echo the Julia entry by showing a failure and suppress naughty hyper
(→{{header|Perl 6}}: Update: use another lib for SHA; try bigger data set ; borrow point on curve check routine from reference entries ; more verbose output ; get rid of pack , etc) |
m (→{{header|Perl 6}}: Thanks to Thundergnat for the advice ; use the correct lib ; remove unnecessary int/str round trip ; echo the Julia entry by showing a failure and suppress naughty hyper) |
||
Line 1,115:
Reference: Many routines are translated from this [https://github.com/sblackstone/toy-ecdsa Ruby repository], by Stephen Blackstone. The rest are taken here and there from RC.
<lang perl6>#!/usr/bin/env perl6
use Digest::
# Following data taken from the C entry
Line 1,122 ⟶ 1,123:
#`{ Following data taken from the Julia entry; 256-bit; tested
our (\A,\B,\P,\O,\Gx,\Gy) = (0, 7, # https://en.bitcoin.it/wiki/Secp256k1
role Horizon { method gist { 'EC Point at horizon' } }
Line 1,171 ⟶ 1,172:
method generate_signature(Int \private_key, Str \msg) {
my \z = :16
loop ( my $k = my $s = my $r = 0 ; $s == 0 ; ) {
loop ( $r = $s = 0 ; $r == 0 ; ) {
$r = (( $k = (1..^$.n).roll ) ⊠ $.G).x % $.n;
}
Line 1,182 ⟶ 1,183:
method verify_signature(\msg, \r, \s, \public_key) {
my \z = :16
my \w = mult_inv s, :modulo($.n);
my (\u1,\u2) = (z*w, r*w)
my \p = (u1 ⊠ $.G ) ⊞ (u2 ⊠ public_key);
return (p.x % $.n) == (r % $.n)
Line 1,201 ⟶ 1,202:
say "The public key Qa is : ", Qa;
say "Is Qa ∈ E ? : ", Qa.isOn;
say "Is signature valid? : ", $ec.verify_signature(message, $r, $s, Qa);
say "Message (Tampered) : ", my \altered = "Show me the money";
say "Is signature valid? : ", $ec.verify_signature(altered, $r, $s, Qa)</lang>
{{out}}
<pre>The Curve E is : 𝑦² = 𝑥³ + 355 𝑥 + 671 (mod 1073741789)
Line 1,209 ⟶ 1,211:
Is G ∈ E ? : True
Message : Show me the monKey
The private key dA is :
The public key Qa is : EC Point at x=
Is Qa ∈ E ? : True
Is signature valid? : True
Message (Tampered) : Show me the money
Is signature valid? : False
</pre>
| |||