snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
MIT License
106 stars 15 forks source link

feat(example): cli with dhat mem-profiling #276

Closed cyphersnake closed 1 month ago

cyphersnake commented 1 month ago

Motivaion Generalized Implementation #272 Part of #249

Overview Thanks to cli+dhat we can now run any test cases and measure any memory usage

cyphersnake commented 1 month ago

as an example, dhat doesn't do very convenient output, but running different cases and saving logs can easily be done with cli like this:

for (( i=17; i<=21; i+=1 ));
do cargo cli-dhat \
    --primary-circuit-k-table-size $i \
    --secondary-circuit-k-table-size $i \
    --folding-steps 1 \
    --commitment-key-size 27 \
    >output_logs/stdout_$i.log \
    2>output_logs/stderr_$i.log;
mv dhat-heap.json output_logs/dhat-heap_$i.json;
echo $i;
done