Add `draw_random_bytes` to the channel#21

Merged

shaharsamocha7 merged 2 commits intostarkware-libs:mainfrom eryxcoop:07-15-add-draw-random-bytes

Jul 17, 2024

+107

Commits on Jul 15, 2024

add draw random_bytes to the Poseidon channel
schouhy
committed

Commits on Jul 16, 2024

Fix typo. Add TODO comment for the distribution of draw_random_bytes. Simplify code using div_rem. Add test to check that two consecutive calls to draw_random_bytes return different results.
schouhy
committed