Best way to operate on an arbitrary part of an array? #1301
Replies: 1 comment 6 replies
-
|
Basically I need .FromBinary() where digits can be specified as frontend.Variable slice indices |
Beta Was this translation helpful? Give feedback.
-
|
Unfortunately neither my input (512 or 1024 bits) nor its subset would fit into a single element. It might work with bitslice though if I figure out how to reassemble everything in a constant number of steps. Thanks for the advice |
Beta Was this translation helpful? Give feedback.
-
|
Usually in that case when I need to do SHA2 etc. I use |
Beta Was this translation helpful? Give feedback.
-
|
As we cannot use conditional loops in gnark we need to code everything in constant number of steps. So if one user needs to hash "10 bytes from pos 50" and the other "hash 60 bytes from pos 2" it becomes problematic. |
Beta Was this translation helpful? Give feedback.
-
|
I see. Yes, in this case How I would do it is to have a mask which is set to 1 for bytes I want to include in the hash and the assert that mask is set correctly (first location of mask is the given initial pos; sum of masks is total number of bytes you want to hash; every mask bit is 0-1). Have also look at the https://pkg.go.dev/github.com/consensys/gnark@v0.11.0/std/hash#BinaryFixedLengthHasher interface which allows to hash variable-length inputs. Our |
Beta Was this translation helpful? Give feedback.
-
|
Thanks, will definitely take a look! |
Beta Was this translation helpful? Give feedback.
-
Hey there!
So I've got a circuit which does block cipher decryption and the result is a fixed length array of decrypted data (bytes, bits, does not matter)
Next I need to process a part of that data (say, hash it) to prove that "a hash of some data indeed exists in this encrypted data from indexes A to B"
I'm ok with the "data" to be exactly 31 bytes every time to fit into BN254 element, I can use bitmasks for excluding redundant part. But can't get my head around the way to "take" these bytes from an arbitrary part of a block, say "starting from position 10".
Is there any way around it?
Beta Was this translation helpful? Give feedback.
All reactions