Misha Komarov

https://eprint.iacr.org/2018/046.pdf https://github.com/starkware-libs/ethSTARK

The `accumulation_vector` is required to be refactored to comply to `Accumulator` concept according to the actual its' purpose. ┆Issue is synchronized with this [Wrike task](https://app-us2.wrike.com/open.htm?id=900769365) by [Unito](https://www.unito.io)

Paper: https://eprint.iacr.org/2021/370.pdf Depends on #12 and #14 ┆Issue is synchronized with this [Wrike task](https://app-us2.wrike.com/open.htm?id=900769361) by [Unito](https://www.unito.io)

Paper: https://eprint.iacr.org/2018/907.pdf Reference implementation: https://github.com/microsoft/Spartan Depends on #13 with https://github.com/microsoft/Spartan/blob/master/src/nizk/bullet.rs Depends on #14 ┆Issue is synchronized with this [Wrike task](https://app-us2.wrike.com/open.htm?id=900769358) by [Unito](https://www.unito.io)

Reference implementation: https://github.com/dalek-cryptography/bulletproofs ┆Issue is synchronized with this [Wrike task](https://app-us2.wrike.com/open.htm?id=900769356) by [Unito](https://www.unito.io)

IOP-based SNARKs are required to be done for #12 and #11 ┆Issue is synchronized with this [Wrike task](https://app-us2.wrike.com/open.htm?id=900769354) by [Unito](https://www.unito.io)

Arkworks implementation: https:// github.com/arkworks-rs/marlin Specification: https://eprint.iacr.org/2019/1047.pdf ┆Issue is synchronized with this [Wrike task](https://app-us2.wrike.com/open.htm?id=900769343) by [Unito](https://www.unito.io)