logos-storage/logos-storage-nim
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-nim.git synced 2026-01-10 01:13:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

separating demo code from library

Browse Source 
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
This commit is contained in:
Csaba Kiraly 2021-08-31 13:33:18 +02:00 committed by Dmitriy Ryajov
parent 4ed5ba18ec
commit 076528e8cf
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
2 changed files with 39 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
dagger/storageproofs/pos.nim
View File

@ -82,7 +82,7 @@ type Tau = object
t: TauZero
signature: array[512, byte]
proc rsaKeygen(): (PublicKey, PrivateKey) =
proc rsaKeygen*(): (PublicKey, PrivateKey) =
let rng = newRng()
var seckey = PrivateKey.random(RSA, rng[], keysize).get()
var pubkey = seckey.getKey().get()
@ -112,7 +112,7 @@ proc generateAuthenticator(i: int64, s: int64, t: TauZero, filep: ptr ZChar, ssk
# result = (hashNameI(t.name, i) * productory).powmod(getPrivex(ssk), N)
result = rsaDecode((hashNameI(t.name, i) * productory) mod N, ssk)
proc st(ssk: PrivateKey, file: string): (Tau, seq[BigInt]) =
proc st*(ssk: PrivateKey, file: string): (Tau, seq[BigInt]) =
let (filep, s, n) = openFile(file)
var t = TauZero(n: n)
@ -138,7 +138,7 @@ type QElement = object
I: int64
V: BigInt
proc generateQuery(
proc generateQuery*(
tau: Tau,
spk: PublicKey,
l: int = querylen # query elements
@ -153,7 +153,7 @@ proc generateQuery(
q.V = initBigInt(rand(uint64)) #TODO: fix range
result.add(q)
proc generateProof(q: openArray[QElement], authenticators: openArray[BigInt], spk: PublicKey, file: string): (seq[BigInt], BigInt) =
proc generateProof*(q: openArray[QElement], authenticators: openArray[BigInt], spk: PublicKey, file: string): (seq[BigInt], BigInt) =
let (filep, s, _) = openFile(file)
let N = spk.getModulus()
@ -174,7 +174,7 @@ proc generateProof(q: openArray[QElement], authenticators: openArray[BigInt], sp
return (mu, sigma)
proc verifyProof(tau: Tau, q: openArray[QElement], mus: openArray[BigInt], sigma: BigInt, spk: PublicKey): bool =
proc verifyProof*(tau: Tau, q: openArray[QElement], mus: openArray[BigInt], sigma: BigInt, spk: PublicKey): bool =
# TODO: check that values are in range
let N = spk.getModulus()
@ -192,26 +192,3 @@ proc verifyProof(tau: Tau, q: openArray[QElement], mus: openArray[BigInt], sigma
N)
return mulmod(first, second, N) == rsaEncode(sigma, spk)
proc test() : bool =
let (spk, ssk) = pos.rsaKeygen()
echo "Key generated!"
let (tau, authenticators) = pos.st(ssk, "example.txt")
echo "Signed!"
echo "Auth: ", authenticators
echo "Generating challenge..."
let q = pos.generateQuery(tau, spk)
echo "Generated!", " q:", q
echo "Issuing proof..."
let (mu, sigma) = pos.generateProof(q, authenticators, spk, "example.txt")
echo "Issued!", " mu:", mu, " sigma:", sigma
echo "Verifying proof..."
result = pos.verifyProof(tau, q, mu, sigma, spk)
echo "Result: ", result
randomize()
let r = test()

34
dagger/storageproofs/testrsa.nim Normal file
View File

@ -0,0 +1,34 @@
## Nim-POS
## Copyright (c) 2021 Status Research & Development GmbH
## Licensed under either of
## * Apache License, version 2.0, ([LICENSE-APACHE](LICENSE-APACHE))
## * MIT license ([LICENSE-MIT](LICENSE-MIT))
## at your option.
## This file may not be copied, modified, or distributed except according to
## those terms.
import pos
import random
proc testrsa() : bool =
let (spk, ssk) = pos.rsaKeygen()
echo "Key generated!"
let (tau, authenticators) = pos.st(ssk, "example.txt")
echo "Signed!"
echo "Auth: ", authenticators
echo "Generating challenge..."
let q = pos.generateQuery(tau, spk)
echo "Generated!", " q:", q
echo "Issuing proof..."
let (mu, sigma) = pos.generateProof(q, authenticators, spk, "example.txt")
echo "Issued!", " mu:", mu, " sigma:", sigma
echo "Verifying proof..."
result = pos.verifyProof(tau, q, mu, sigma, spk)
echo "Result: ", result
randomize()
let r = testrsa()