import sys
from bench import time_func
sys.path.insert(0,
os.path.abspath(os.path.join(os.path.dirname(__file__), '..')))
from amcl import core_utils, aes
key_hex = "2768a4f5a75344fee0ed46faaf7b020111fe5f0e80a88c0fd27abfcc15bc9d68"
header_hex = "1554a69ecbf04e507eb6985a234613246206c85f8af73e61ab6e2382a26f457d"
iv_hex = "2b213af6b0edf6972bf996fb"
if __name__ == "__main__":
key = bytes.fromhex(key_hex)
header = bytes.fromhex(header_hex)
iv = bytes.fromhex(iv_hex)
plaintext = b'test message'
# Generate quantities for bench run
ciphertext, tag = aes.gcm_encrypt(key, iv, header, plaintext)
dec_plaintext, dec_tag = aes.gcm_decrypt(key, iv, header, ciphertext)
assert tag == dec_tag, 'Inconsistent decryption tag'
# Run benchmark
fncall = lambda: aes.gcm_encrypt(key, iv, header, plaintext)
time_func("aes.gcm_encrypt", fncall, unit='us')
fncall = lambda: aes.gcm_decrypt(key, iv, header, ciphertext)
time_func("aes.gcm_decrypt", fncall, unit='us')
under the License.
"""
import os
import sys
from bench import time_func
sys.path.insert(0,
os.path.abspath(os.path.join(os.path.dirname(__file__), '..')))
from amcl import commitments
x_hex = "40576370e36018f6bfaffc4c66780303a361f0c5f4a18a86a74fb179ca0fcf22"
r_hex = "296f910bde4530efe3533ed3b74475d6022364db2e57773207734b6daf547ac8"
if __name__ == "__main__":
x = bytes.fromhex(x_hex)
r = bytes.fromhex(r_hex)
# Generate quantities for benchmark
r, c = commitments.nm_commit(None, x, r)
assert commitments.nm_decommit(x, r, c) == commitments.OK
# Run benchmark
fncall = lambda: commitments.nm_commit(None, x, r)
time_func("nm_commit ", fncall, unit="us")
fncall = lambda: commitments.nm_decommit(x, r, c)
time_func("nm_decommit", fncall, unit="us")
sys.path.insert(0, os.path.abspath(os.path.join(os.path.dirname(__file__), '..')))
from amcl import factoring_zk
p_hex = "e008507e09c24d756280f3d94912fb9ac16c0a8a1757ee01a350736acfc7f65880f87eca55d6680253383fc546d03fd9ebab7d8fa746455180888cb7c17edf58d3327296468e5ab736374bc9a0fa02606ed5d3a4a5fb1677891f87fbf3c655c3e0549a86b17b7ddce07c8f73e253105e59f5d3ed2c7ba5bdf8495df40ae71a7f"
q_hex = "dbffe278edd44c2655714e5a4cc82e66e46063f9ab69df9d0ed20eb3d7f2d8c7d985df71c28707f32b961d160ca938e9cf909cd77c4f8c630aec34b67714cbfd4942d7147c509db131bc2d6a667eb30df146f64b710f8f5247848b0a75738a38772e31014fd63f0b769209928d586499616dcc90700b393156e12eea7e15a835"
n_hex = "c0870b552afb6c8c09f79e39ad6ca17ca93085c2cd7a726ade69574961ff9ce8ad33c7dda2e0703a3b0010c2e5bb7552c74164ce8dd011d85e5969090df53fe10e39cbe530704da32ff07228a6b6da34a5929e8a231c3080d812dc6e93affd81682339a6aee192927c582da8941bebf46e13c4ea3918a1477951fa66d367e70d8551b1869316d48317e0702d7bce242a326000f3dc763c44eba2044a1df713a94c1339edd464b145dcadf94e6e61be73dc270c878e1a28be720df2209202d00e101c3b255b757eaf547acd863d51eb676b851511b3dadeda926714719dceddd3af7908893ae65f2b95ee5c4d36cc6862cbe6886a62d7c1e2d0db48c399a6d44b"
r_hex = "c05f6c79e81fab2f1aa6af48dc5afa89a21c0aee03e93944cacfefef1be90f41ec8c2055760beafa9ed87dd67dbd56b33a2568dfec62a03f06c4f8449a93eee858507f4b602bf305e1c9968d9f5b6dc3120c27e053a1d7e51590e0bacb8d36c27bccce1a57c1e3aeb0832905d4e2bb8eaee883b4df042d8660cf3e0c9777b6be34c18bef02347f92cb71f372f61c018860211932dd46de8f925212d7afe6dd2f3cda05f8d5a6bd1b138b66c5efd7fca31f926c721f6d4207b97fc01cdf325da21233f6df37adbcd67472b332f7490a4a96e0fef31beef55b9446067b8e8d807384e3d31051c7a1f27296a6ae111b30c3d1f3f81666fd9ad99df531bb68428029"
uid = b"unique_user_identifier"
ad_hex = "d7d3155616778fb436a1eb2070892205"
if __name__ == "__main__":
p = bytes.fromhex(p_hex)
q = bytes.fromhex(q_hex)
n = bytes.fromhex(n_hex)
r = bytes.fromhex(r_hex)
ad = bytes.fromhex(ad_hex)
# Generate quantities for benchmark
e, y = factoring_zk.prove(None, p, q, uid, ad=ad, r=r)
assert factoring_zk.verify(n, e, y, uid, ad=ad) == factoring_zk.OK
# Run benchmark
fncall = lambda: factoring_zk.prove(None, p, q, uid, ad=ad, r=r)
time_func("prove ", fncall)
fncall = lambda: factoring_zk.verify(n, e, y, uid, ad=ad)
time_func("verify", fncall)
ID = b"unique_user_identifier"
AD_hex = "d7d3155616778fb436a1eb2070892205"
if __name__ == "__main__":
r = bytes.fromhex(r_hex)
x = bytes.fromhex(x_hex)
V = bytes.fromhex(V_hex)
AD = bytes.fromhex(AD_hex)
# Generate quantities for benchmark
r, C = schnorr.commit(None, r)
e = schnorr.challenge(V, C, ID, AD=AD)
p = schnorr.prove(r, e, x)
# Check consistency of the generated quantities
assert schnorr.verify(V, C, e, p) == schnorr.OK
# Run benchmark
fncall = lambda: schnorr.commit(None, r)
time_func("commit ", fncall, unit="us")
fncall = lambda: schnorr.challenge(V, C, ID, AD=AD)
time_func("challenge", fncall, unit="us")
fncall = lambda: schnorr.prove(r, e, x)
time_func("prove ", fncall, unit="us")
fncall = lambda: schnorr.verify(V, C, e, p)
time_func("verify ", fncall, unit="us")
# Generate quantities for benchmark
paillier_pk, paillier_sk = mpc.paillier_key_pair(None, p, q)
ca = mpc.mpc_mta_client1(rng, paillier_pk, a)
cb, beta = mpc.mpc_mta_server(rng, paillier_pk, b, ca)
alpha = mpc.mpc_mta_client2(paillier_sk, cb)
# Check consistency of the generated quantities
ai = int(a_hex, 16)
bi = int(b_hex, 16)
expected = ai * bi % mpc.curve_order
alphai = int(alpha.hex(), 16)
betai = int(beta.hex(), 16)
got = ( alphai + betai ) % mpc.curve_order
assert got == expected, f"expected {hex(expected)} got {hex(got)}"
# Run benchmark
fncall = lambda: mpc.mpc_mta_client1(rng, paillier_pk, a)
time_func("mpc_mta_client1", fncall)
fncall = lambda: mpc.mpc_mta_server(rng, paillier_pk, b, ca)
time_func("mpc_mta_server ", fncall)
fncall = lambda: mpc.mpc_mta_client2(paillier_sk, cb)
time_func("mpc_mta_client2", fncall)
# Clear memory
core_utils.kill_csprng(rng)