Commit Graph

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