Vitalik Buterin published an article titled “Exploring circle STARKs”
Vitalik Buterin posted an article titled "Exploring circle STARKs". The article states that the most important trend in STARK protocol design over the past two years has been a shift towards operating on a small scale, which has led to a significant increase in proof speed. Currently, Starkware can prove 620,000 Poseidon2 hash values per second on an M3 laptop, which means that if we are willing to trust Poseidon2 as a hash function, the most difficult part of creating an efficient ZK-EVM has been effectively solved.Vitalik believes that by combining binary field technologies such as Mersenne31, BabyBear, and Binius, we do feel that we are approaching the limit of efficiency at the "base layer" of STARK. At this point, I expect the forefront of STARK optimization to shift towards the most effective arithmetic operations on primitives such as hash functions and signatures (and optimize these primitives themselves for this purpose), recursive construction for more parallelism, arithmetic operations on VMs to improve developer experience, and other higher-level tasks.
Disclaimer: The content of this article solely reflects the author's opinion and does not represent the platform in any capacity. This article is not intended to serve as a reference for making investment decisions.
You may also like
Bitcoin Crashes Below $53,000 – Stock Market Faces Worst Week in 18 Months
New Android malware steals private keys from screenshots and images
VanEck to close its Ethereum futures ETF in September, a year after launch
Rumors of a 50 Basis Point Rate Cut Following the FED Member’s Flash Statements: So What Do Analysts Say?
Analysts evaluated the possibility of a 50 basis point cut, which was claimed to have strengthened following the critical statements of FED member Waller.