591 Commits

Author SHA1 Message Date
benbierens
06c8ed8e7f
Adds missing test for initial-proving state 2024-01-17 09:59:39 +01:00
Dmitriy Ryajov
a9cad38d38
misc 2024-01-16 20:30:50 -06:00
Dmitriy Ryajov
48e7d809dc
forwar getCidAndProof to local store 2024-01-16 20:30:44 -06:00
Dmitriy Ryajov
b33ddb347b
truncate entropy to 31 bytes, otherwise it might be > than mod 2024-01-16 20:30:11 -06:00
Dmitriy Ryajov
09d20e06e6
add logscope 2024-01-16 20:29:41 -06:00
Dmitriy Ryajov
10f4e82569
fixup logging 2024-01-16 20:29:28 -06:00
Dmitriy Ryajov
6c28c2af88
remove unused file 2024-01-16 19:43:14 -06:00
Dmitriy Ryajov
1ae3ecd823
fix tests that work with correct cell indices 2024-01-16 19:43:14 -06:00
Dmitriy Ryajov
0ebbdfda0e
misc 2024-01-16 19:43:14 -06:00
Dmitriy Ryajov
b3d3274765
cleanup 2024-01-16 19:43:13 -06:00
Dmitriy Ryajov
b0ba10aa8f
only return slot cell indices and no duplicates 2024-01-16 19:43:13 -06:00
Dmitriy Ryajov
7e74a13bd8
use correct block index 2024-01-16 19:43:13 -06:00
Dmitriy Ryajov
cfa927b444
removing old tests 2024-01-16 19:43:13 -06:00
benbierens
9fc10a5e85 Fixes testmanifest. 2024-01-16 19:42:27 -06:00
benbierens
964fe47ea2 Fix: test for correct verify root in slot builder. 2024-01-16 19:42:27 -06:00
benbierens
9c1ea719d8 Restores tests for sampler 2024-01-16 19:42:27 -06:00
benbierens
4e19384a86 Restores tests for proof sampler utils 2024-01-16 19:42:27 -06:00
benbierens
d80ddd41df Fixes issue where sampler takes proof from dataset/verify tree for slot proof. 2024-01-16 19:42:27 -06:00
benbierens
622239ffbd Cleanup 2024-01-16 19:42:27 -06:00
benbierens
5f70232597 Fixes tests 2024-01-16 19:42:27 -06:00
benbierens
4afec65d00 Applies result-type to onProve callback. 2024-01-16 19:42:27 -06:00
benbierens
2ba0977214 Fixes log scope compilation 2024-01-16 19:42:27 -06:00
benbierens
70541921c4 Fix: ProofInputSample data is cell bytes instead of block bytes 2024-01-16 19:42:27 -06:00
benbierens
901d816f56 Fix: slotIdx used as nSamples 2024-01-16 19:42:27 -06:00
Dmitriy Ryajov
f7861df6c7
move tests around 2024-01-15 21:48:54 -06:00
Dmitriy Ryajov
a169e7fe24
misc 2024-01-15 21:47:50 -06:00
Dmitriy Ryajov
b88f767f08
wip sampler integration 2024-01-15 21:47:40 -06:00
Dmitriy Ryajov
98181a72b0
don't use upraises 2024-01-15 21:47:21 -06:00
Dmitriy Ryajov
e8fbb6d755
wip sampler implementation 2024-01-15 21:47:06 -06:00
Dmitriy Ryajov
cfc4632efc
various changes to add support for the sampler 2024-01-15 21:46:48 -06:00
Dmitriy Ryajov
8665af1df3
fix paths 2024-01-15 14:06:06 -06:00
Dmitriy Ryajov
76181407e9
move sampler to own dir 2024-01-15 13:59:55 -06:00
Dmitriy Ryajov
877e19cfcf
move builder to own dir 2024-01-15 13:59:24 -06:00
benbierens
b4654ff938
Updates proof checking test to match new format 2024-01-15 10:50:40 -06:00
benbierens
a4cafa6317
Updates expected samples 2024-01-15 10:50:40 -06:00
benbierens
24be5b2788
setting up 2024-01-15 10:50:40 -06:00
benbierens
03c0f9914e
Lining up output type with updated reference code. 2024-01-15 10:50:40 -06:00
benbierens
54b0fe6f42
Cleanup 2024-01-15 10:50:40 -06:00
benbierens
84993e8984
Refactoring to object-oriented 2024-01-15 10:50:39 -06:00
benbierens
0b54ef7777
Fixes test. Implementation is now functional 2024-01-15 10:50:39 -06:00
benbierens
26f238409c
almost there 2024-01-15 10:50:39 -06:00
benbierens
0cc4563eba
splits up indexing 2024-01-15 10:50:39 -06:00
benbierens
e52a191dac
It's running 2024-01-15 10:50:39 -06:00
benbierens
4642174c6d
Adds method to get dataset block index from slot block index 2024-01-15 10:50:39 -06:00
benbierens
97350cd890
Implements building a minitree for block cells 2024-01-15 10:50:39 -06:00
benbierens
07ed066b1e
Implements selecting a cell sample from a block 2024-01-15 10:50:38 -06:00
benbierens
b031fb9e4a
Sets up getting sample from block 2024-01-15 10:50:38 -06:00
benbierens
742f84a24d
cleanup 2024-01-15 10:50:38 -06:00
benbierens
975d4ce65f
Implements out-of-range check for slot index 2024-01-15 10:50:38 -06:00
benbierens
b17202c8a7
implements getting slot blocks by index 2024-01-15 10:50:38 -06:00