1  
 2  module Main where
 3  
 4  --------------------------------------------------------------------------------
 5  
 6  import Slot ( SlotIdx(..) , DataSource(..) , Seed(..) )
 7  import DataSet
 8  import Sampling 
 9  
10  --------------------------------------------------------------------------------
11  
12  smallDataSetCfg :: DataSetCfg
13  smallDataSetCfg = MkDataSetCfg 
14    { _maxDepth      = 16
15    , _maxLog2NSlots = 5
16    , _nSlots    = 5
17    , _cellSize  = 128
18    , _blockSize = 4096 -- 1024
19    , _nCells    = 256  -- 64
20    , _nSamples  = 10
21    , _dataSrc   = FakeData (Seed 12345)
22    }
23  
24  bigDataSetCfg :: DataSetCfg
25  bigDataSetCfg = MkDataSetCfg 
26    { _maxDepth      = 32
27    , _maxLog2NSlots = 8
28    , _nSlots    = 13
29    , _cellSize  = 2048
30    , _blockSize = 65536
31    , _nCells    = 512
32    , _nSamples  = 5
33    , _dataSrc   = FakeData (Seed 666)
34    }
35  
36  --------------------------------------------------------------------------------
37  
38  main :: IO ()
39  main = do
40    let dsetCfg = smallDataSetCfg
41    let slotIdx = SlotIdx 3
42    let entropy = 1234567 :: Entropy
43    circomMainComponent dsetCfg                 "./json/slot_main.circom" 
44    samplingTest        dsetCfg slotIdx entropy "./json/input_example.json"