feat: two-shuffles protocols (RAM/set/RO-KVS protocols)

[themighty1]

Implementation of ZK data structures from "Two Shuffles Make a RAM" (Yang/Heath, 2023)

Benchmarks

Protocol	Workload	Native Prover	Native Verifier	WASM Prover	WASM Verifier
RAM	4 096 cells, 100 000 accesses	1.972 s	1.576 s	2.917 s	2.398 s
RO-KVS	40 000 pairs, 100 000 lookups	514.2 ms	388.5 ms	808.2 ms	655.7 ms
Set	100 000 members, 100 000 lookups	739.0 ms	425.5 ms	1.109 s	715.6 ms

Runs are single-threaded with hardware acceleration.