Open danielSanchezQ opened 4 months ago
By dynamic, do you mean that verifier function should take the row and column sizes as input based on the data size once the data is known?
By dynamic, do you mean that verifier function should take the row and column sizes as input based on the data size once the data is known?
Verifier receives a column so domain size can be derived from there. But it do not really know what is the row size, either we decide is fixed size hence can be statically encoded or we need to provide it somehow.
At the moment verifiers do not know the size of the domain to use when verifying blobs. This can be fixed by either going fixed size (which is the ongoing conversations) or doing it dynamically (which adds extra problems and complexity but solves overload for smaller network sizes). Size was fixed to pass the tests in https://github.com/logos-co/nomos-node/pull/664 but we need to modify it and change it accordingly once we move from VID to Sampling and we decide on the static vs dynamic choice.