Hi am working on prototype ZKFHEVM rollup I am building on top of polygon ZKEVM infra could tell can I used directly use the fhevm-go liberary in Polygon ZKEVM code I am using it local ZKEVM
please help at this
Hey, I think in theory it should be possible as fhevm-go is targeted at an EVM. However, generating the ZK proofs for the FHE computation done in fhevm-go will be expensive as you are going to combine ZK and FHE.
There are efforts on verifiable FHE, but still work in progress. It works, but it requires considerable amounts of computation to generate the proofs and perform the FHE operations.
To sum up - it should in theory be possible, but maybe performance-wise it will be problematic. I hope I understood your question. Let me know if above helps!
could tell I am doing an experiment for my Research paper what things I can use of Zama to build FHE rollup currently I am integerating FHEVM go to Polygon ZKEVM local node setup is it and I am worried about How i generate key and managing transaction request there could help me in this what the ZAMA component I use for prototype of my experiment please help me for tech side I will be thankful for this help
At Zama, we have a threshold key-management system (TKMS) to handle decryption with multi party computation (MPC), but for now, our TKMS is not open source so you’ll not be able to use it. But even if it was open source, I am not sure it would help you.
You might want to try to use TFHE-rs, our Rust library, to generate the keys (it will not be in the MPC setting, ie the key will not be split in several parties). Making it work with fhEVM would be a big work, it’s maybe a bit too much for a research project.
Maybe, if you want to experiment between ZK and FHE, you can do that without EVM, just directly with the cryptographic library TFHE-rs? Then, you can focus on verifiable FHE
Hi but I want to build proof of concept ZKFHEVM rollup then I think rust liberary not work could tell to me the there is any modification can happen for FHEVM-go beacuse I do not have big team I am independent researcher but I have to publish Research and show the proof concept I am building on top of polygon ZKEVM local node setup so what thing I can change in the FHEVM go to build my POC
Working on verifiable FHE is something complicated, and it’s currently not our priority. You could maybe find other interested people at Discord . Ask here if some people are working on the same subject and want to collab with you.