mathcrypto

Using a different branch for documentation is fine but at some point it would be nice to have them merged into master. Could you please refer to the issues you...

If we don't use selector polynomials like ```q_arith``` we won't be able to either activate or deactivate a specific gate as the idea behind using those selectors was to use...

> > If we don't use selector polynomials like `q_arith` we won't be able to either activate or deactivate a specific gate as the idea behind using those selectors was...

I would say candidate 2 Reinforcement-Concrete is a good choice since it was designed to support Plookup based on KZG commitments but it's also a fairly new design and there...

What is the difference between "sha256_many" gadget and the one from libsnark https://github.com/scipr-lab/libsnark/blob/master/libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_gadget.hpp?

@fanghaos2014 you can use the sha256 2-to-1 to compute the hash in Merkle tree for example. Let's say you want to compute the Merkle root and you have the leaf...

I assume we can use the key refreshment and make some changes to be able to do the resharing process. In the Key resharing described in [Jen Groth](https://eprint.iacr.org/2021/339.pdf) paper: -...

Did we agree already on adding the LayerID field to ATXs? @poszu @ivan4th. ATXs should only include what's need to be there

After discussion, we arrived to the following conclusion: * Proposal IDs are truncated into smaller compact IDs before being sent over the gossip network. * Each proposal ID is initially...