2022-03-07 22:42:47 -05:00
|
|
|
inv1: 5858cdec40a044b1548b3bb08f8ce0d71103d1f887df84ebc502643dac4df40b
|
|
|
|
|
inv2: 09688ce78a8ff8273f636b0bc748c0cceeeeedecebeae9e8e7e6e5e4e3e2e100
|
|
|
|
|
inv3: f70b4f272b47bd6a1015a511fb3c9fc1b9c21ca4ca2e17d5a225b4c410b9b60d
|
|
|
|
|
inv4: 201f1e1d1c1b1a191817161514131211100f0e0d0c0b0a090807060504030201
|
|
|
|
|
neg1: e46b69758fd3193097398c9717b11e48111112131415161718191a1b1c1d1e0f
|
|
|
|
|
neg2: 09688ce78a8ff8273f636b0bc748c0cceeeeedecebeae9e8e7e6e5e4e3e2e100
|
|
|
|
|
neg3: cdb4d73ffe47f83ebe85e18dcae6cc03f0f0f1f2f3f4f5f6f7f8f9fafbfcfd0e
|
|
|
|
|
neg4: 201f1e1d1c1b1a191817161514131211100f0e0d0c0b0a090807060504030201
|
|
|
|
|
comp1: e56b69758fd3193097398c9717b11e48111112131415161718191a1b1c1d1e0f
|
|
|
|
|
comp2: 09688ce78a8ff8273f636b0bc748c0cceeeeedecebeae9e8e7e6e5e4e3e2e100
|
|
|
|
|
comp3: ceb4d73ffe47f83ebe85e18dcae6cc03f0f0f1f2f3f4f5f6f7f8f9fafbfcfd0e
|
|
|
|
|
comp4: 201f1e1d1c1b1a191817161514131211100f0e0d0c0b0a090807060504030201
|
|
|
|
|
add1: f7567cd87c82ec1c355a6304c143bcc9ecedededededededededededededed0d
|
|
|
|
|
sub1: f67c79849de0253ba142949e1db6224b13121212121212121212121212121202
|
|
|
|
|
add2: b02e8581ce62f69922427c23f970f7e951525252525252525252525252525202
|
|
|
|
|
sub2: 3da570db4b001cbeb35a7b7fe588e72aaeadadadadadadadadadadadadadad0d
|
|
|
|
|
mul: 4453ef38408c06677c1b810e4bf8b1991f01c88716fbfa2f075a518b77da400b
|
2023-10-04 20:32:37 -04:00
|
|
|
from_uniform_deterministic (0): b18e62cf804b022fec392b0e2d6539d0f059732616c11913f510f73ae2544ebc
|
|
|
|
|
from_uniform_deterministic (1): b9d23004e78c58e22da72e109550133e3d3bb9e46afcc066b82326319653d62c
|
|
|
|
|
from_uniform_deterministic (2): 14063782c8b8a677dce09c4e51719b1cf942bf71bc765c1ec9832a8b4446983c
|
|
|
|
|
from_uniform_deterministic (3): 02d6dbac70f6a14de72f4e17386016b08d6506336a086f10e719fbad8831d550
|
|
|
|
|
from_uniform_deterministic (4): 11c851408e7892c2eae37584423a8f9c797e3649d45946b53e64319318a750b0
|
|
|
|
|
from_uniform_deterministic (5): d4b9eaf70ffdc238c88725e294bdd02a6ce85577c5e7add7ca07041873019842
|
|
|
|
|
from_uniform_deterministic (6): 740a6141079285c1b9e84ed463dcce5d3d40a167fa13129463eaf97d2a7bf654
|
|
|
|
|
from_uniform_deterministic (7): e504a3e00bbf506cbe388784d85e85b10c428c37eba04ebd19a60948b71ad2cf
|
|
|
|
|
from_uniform_deterministic (8): 67cd50902c40c943f22c479c587fb3e5da2f8f1ad402049ac49ddc45ec20884c
|
|
|
|
|
from_uniform_deterministic (9): 658bffa23b425a91268ee17559073c4b1548209054ed7cf00ffe582696dda8dc
|
|
|
|
|
from_uniform_deterministic (10): b55b93e7a0fe554f86f1f4c991871a27756fee359a8c6bb7554ec91d5d552c49
|
|
|
|
|
from_uniform_deterministic (11): fbc2bb45df1d806489a5a6415898c719c45c932d3467b6ce948ee80c0e8122c9
|
|
|
|
|
from_uniform_deterministic (12): 93164e57b5e3ae6826ac9e0c31ddecf94e21a39a29ba9d1d24e9e588fe065d95
|
|
|
|
|
from_uniform_deterministic (13): 16824d74c9482890dc57b0ec843a0a5231b581d2ce3909934d7658389f169093
|
|
|
|
|
from_uniform_deterministic (14): 2f5b0336c7f0af520badeae99450f92835c27224ab4cd117f55b176afb6f0001
|
2022-03-07 22:42:47 -05:00
|
|
|
(L-1)*8: e5d3f55c1a631258d69cf7a2def9de1400000000000000000000000000000010
|
|
|
|
|
8(L-1): e5d3f55c1a631258d69cf7a2def9de1400000000000000000000000000000010
|
|
|
|
|
(L-1)^2: 0100000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
(L+1)*8: 0800000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
8(L+1): 0800000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
(L+1)^2: 0100000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
(L-1)h: 609faee7d21893c0b2e6bc17f5cef7a600000000000000000000000000000000
|
|
|
|
|
h(L-1): 609faee7d21893c0b2e6bc17f5cef7a600000000000000000000000000000000
|
|
|
|
|
(L+1)h: 8d344775474a7f9723b63a8be92ae76dffffffffffffffffffffffffffffff0f
|
|
|
|
|
h(L+1): 8d344775474a7f9723b63a8be92ae76dffffffffffffffffffffffffffffff0f
|
|
|
|
|
h^2: 726cf51b9ec1dda146af8c58ffd22d148f6ffd85f41cbb738f260cdf4650e60c
|
|
|
|
|
(L-1)+8: 0700000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
8+(L-1): 0700000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
(L-1)*2: ebd3f55c1a631258d69cf7a2def9de1400000000000000000000000000000010
|
|
|
|
|
(L+1)+8: 0900000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
8+(L+1): 0900000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
(L+1)*2: 0200000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
(L-1)+h: 8c344775474a7f9723b63a8be92ae76dffffffffffffffffffffffffffffff0f
|
|
|
|
|
h+(L-1): 8c344775474a7f9723b63a8be92ae76dffffffffffffffffffffffffffffff0f
|
|
|
|
|
(L+1)+h: 8e344775474a7f9723b63a8be92ae76dffffffffffffffffffffffffffffff0f
|
|
|
|
|
h+(L+1): 8e344775474a7f9723b63a8be92ae76dffffffffffffffffffffffffffffff0f
|
|
|
|
|
h*2: 1000000000000000000000000000000000000000000000000000000000000000
|
|
|
|
|
OK
|
