Nikita Kaskov
Nikita Kaskov
Implement the [vector commitment scheme](https://eprint.iacr.org/2011/495.pdf) together with the tests (it means you need to find an implementation and generate tests). We only need CDH-based version, not the RSA-based one for...
Implement the [Mercurial Commitments](https://link.springer.com/content/pdf/10.1007/11681878_7.pdf) together with the tests (it means you need to find an implementation or generate tests). Find the introduction to commitment schemes concept in the first section...
We need to add Doxygen comments for all Placeholder proof system types and functions following [our spec](https://github.com/NilFoundation/mina-state-proof/blob/master/docs/proof_system/main.pdf). The same is true for LPC commitment scheme (which is a modification of...
Related issue: [#19](https://github.com/NilFoundation/crypto3-zk-marshalling/issues/19)
Implement the commitment scheme used in [Sonic Proof system](https://eprint.iacr.org/2019/099.pdf) together with the tests (it means you need to find an implementation and generate tests). It is described in section 6.2...
Review temporary marshalling to have marshalling status as one of the function parameters. This status type should be of ::nil::marshalling::status_type type and be equal to ::nil::marshalling::status_type::success in case of correct...
Related to https://github.com/NilFoundation/crypto3-math/issues/16
Will be resolved by #5 ┆Issue is synchronized with this [Wrike task](https://app-us2.wrike.com/open.htm?id=900769368) by [Unito](https://www.unito.io)