Description
Currently, there is no primitive to create an inner-product argument (IPA). This is a necessary step in producing a proof for key-value pairs openings.
We need to create a function similar to go-ipa's CreateIPAProof (https://github.com/crate-crypto/go-ipa/blob/3c0104f4b233c6469afd6682f370cd15ab65a231/ipa/prover.go#L58C6-L58C20).
This function is part of the inner workings of ipa-multipoint and does not need to be exposed to besu-verkle-trie.
Expected
The functionality similar to CreateIPAProof in go-ipa should be implemented. It can be separated in several functions and isolated in a submodule if need be. Also, there is no need to expose it to JNI.
Description
Currently, there is no primitive to create an inner-product argument (IPA). This is a necessary step in producing a proof for key-value pairs openings.
We need to create a function similar to go-ipa's CreateIPAProof (https://github.com/crate-crypto/go-ipa/blob/3c0104f4b233c6469afd6682f370cd15ab65a231/ipa/prover.go#L58C6-L58C20).
This function is part of the inner workings of ipa-multipoint and does not need to be exposed to besu-verkle-trie.
Expected
The functionality similar to CreateIPAProof in go-ipa should be implemented. It can be separated in several functions and isolated in a submodule if need be. Also, there is no need to expose it to JNI.