As the ZKrollup and on-chain privacy attract a lot of attentions and have massive application perspectives, we should consider adding the neccessary built-in functions, including
File storage. (Stores the customized ZK verification key, in size of megabytes.)
Basic operations for different elliptic curves.
Artimetic circuit friendly cryptographic primitives, such as Poseidon hash function.
Special data structure, e.g. Commitments with simple membership proof (Merkle Tree).
The most convenient API way is to provide an internal contract interface.
As the ZKrollup and on-chain privacy attract a lot of attentions and have massive application perspectives, we should consider adding the neccessary built-in functions, including
The most convenient API way is to provide an internal contract interface.