fun fact: You can prove anything!
but at what cost?
Apr 20 โข 5 tweets โข 1 min read
1./ I have written some response here:
reproducing tl;drethereum-magicians.org/t/long-term-l1โฆ
2./ The comparison of performance is skewed by comparing *interpreted* and *executable* code. Contracts are *executable* (from proof perspective) are in zk-EVMs, not zk-VMs.
The reason zk-VMs are comparable with zk-EVMs is because a lot of workload are precompiles anyway.
May 27, 2023 โข 24 tweets โข 5 min read
1. Gm. I would like to congratulate authors with the Protostar paper, will make a small review in this thread ๐งตโฌ๏ธ
it will have some amount of appreciation, some suggestiions and (minor) amount of bitching, but in no way should it overshadow the importance of the achievement