I am a student of Information Engineering in Japan.
For my one of graduation research, I am planning to implement a secrecy module using zk-SNARKs on Cosmos SDK.
As a new module for Cosmos SDK, I am thinking of using zk-SNARKs as a secret proof-verification scheme. This is becauseI believe that there is a need for hiding and proving the existence of information in the Cosmos multi-chain space, just like Ethereum, ZCash and Filecoin. We believe that this module will create more use cases and help to expand the Cosmos ecosystem.
・Confidentiality and transmission of highly sensitive information
・Proof of existence of data via IBC
・We believe that it is possible to verify whether the data and physical information associated with NFT actually exists or not via IBC.
Is this kind of functionality already implemented in the existing Module, Cosmos and Tendermint specifications?
If you want to integrate a secrecy module into Cosmos SDK, you can use TEE like SecretNetwork or minblewimble, but when you compare these technology with zk-SNARKs, which technology would you choose?
If you have any comments on the utility or reproducibility of this module, please let us know!