Lucas Menendez
710bece00a
make required bigint helper public and remove ExplicitZero from SwapEndianess
2025-04-11 13:35:01 +02:00
Guido Iribarren
a0d38076e6
fix GenerateGnarkVerifierProof
...
Both bits Fnc and IsOld0 were incorrectly set.
correct:
* Fnc=0 means inclusion / Fnc=1 means exclusion
* IsOld0=1 should be set when oldKey has zero-length
2025-04-10 12:47:20 +02:00
Lucas Menendez
32eb6a6930
update multiposeidon to work with large bigints
2025-04-08 08:34:14 +02:00
Lucas Menendez
a7ce325c13
smal fixes for safe use of big ints
2025-04-02 13:07:16 +02:00
Lucas Menendez
d3c9062d6e
gnark proof generation and test
2025-03-26 22:28:59 +01:00