Brandon H. Gomes
Brandon H. Gomes
About this trait: probably we should slightly modify it to allow for forests with trees of different sizes (e.g. @bhgomes 's model for the semaphore Merkle forest proposal has a...
For the `plonky2` plugin's implementation of the global poseidon implementation, we should be able to choose the round constants and MDS matrix and implementation that matches the `plonky2` Goldilocks poseidon...
Should mirror @BoyuanFeng's implementation and think about how to get this kind of API generically in ECLAIR: ```circom pragma circom 2.0.0; include "../../node_modules/circomlib/circuits/bitify.circom"; include "../../node_modules/circomlib/circuits/compconstant.circom"; template ecDecompress() { signal input...
When building domain tags we usually use a trait like this: ```rust /// Domain Tag pub trait DomainTag where T: ParameterFieldType, { /// Generates domain tag as a constant parameter....
https://github.com/openzklib/openzl/blob/ef2dd89d954ad446b6ddc2f67815ba5f27df9ee9/openzl-crypto/src/poseidon/constants.rs#L30-L38 > @SupremoUGH: Can these two be general? > > @GhostOfGauss: I agree, it would make more sense for them to be general. Though in light of this note it...
> @SupremoUGH: Strange trait. Poseidon block elements are field elements, which you can add and subtract already. Why not import a suitable trait from `algebra`? > > @GhostOfGauss: Not sure...
> Isn't there a better way to compute the number of full and partial rounds? Trying every possible number until they pass the `are_secure()` method seems a bit suboptimal. >...
Check `plonky2` examples under `openzl-plugin-plonky2`: https://github.com/mir-protocol/plonky2/tree/main/plonky2/examples and give their ECLAIR translations.