
Ehsan Tcp user
@ehsantcp
104 Following
10 Followers
0 reply
0 recast
0 reaction
336 replies
7143 recasts
7578 reactions
0 reply
0 recast
0 reaction
11754 replies
6887 recasts
7801 reactions
0 reply
0 recast
0 reaction
0 reply
0 recast
0 reaction
0 reply
0 recast
0 reaction
1566 replies
13049 recasts
13388 reactions
0 reply
0 recast
0 reaction
2 replies
133 recasts
625 reactions
0 reply
0 recast
1 reaction
0 reply
6 recasts
10 reactions
0 reply
3 recasts
5 reactions
1 reply
5 recasts
10 reactions
0 reply
0 recast
0 reaction
0 reply
3 recasts
8 reactions
1 reply
8 recasts
14 reactions
0 reply
1 recast
2 reactions
0 reply
3 recasts
7 reactions
From a development perspective, if the program is just a SHA2, consisting solely of logic operations, and is easy to implement, custom ZK is definitely more efficient than zkVM. However, when dealing with zkML for instance, which involves complex computations like floating-point arithmetic, non-linear functions, and elliptic curve pairing, custom ZK might not be as efficient.
zkVM can leverage continuation and proof aggregation to parallelize proof generation, significantly speeding up the process. Thus, efficiency should be defined in terms of both build time and run time; focusing solely on run time is insufficient.
For example, before computers, we used calculators, which were faster for simple math problems. But with general-purpose computers, we can perform much more complex calculations far more quickly. Both are efficient in different scenarios, which is why we use both calculators and computers today.
https://x.com/vanishree_rao/status/1817617950624698782 1 reply
3 recasts
8 reactions