TritonVM / tasm-lib

A collection of functions written in Triton VM assembly (tasm)
Apache License 2.0
11 stars 2 forks source link

Add an `assert_sorted_u64s` snippet #111

Open Sword-Smith opened 1 month ago

Sword-Smith commented 1 month ago

Extensive use of contains is pretty expensive. So let's add a snippet that asserts that a u64 list is sorted. Alternative a snippet that returns a boolean indicating if the list is sorted.

This snippet is needed by consensus logic in [neptune-core]'(https://github.com/Neptune-Crypto/neptune-core).