KtorZ 362acd43a3 Rework and optimize PRNG ...

Using ByteArrays as vectors on-chain is a lot more efficient than relying on actul Data's list of values. From the Rust end, it doesn't change much as we were already manipulating vectors anyway.

2024-03-04 14:27:16 +01:00

..

src

Rework and optimize PRNG

2024-03-04 14:27:16 +01:00

Cargo.toml

Display counterexamples as Aiken values instead of raw UPLC.

2024-03-03 19:33:24 +01:00