311773
ZKM
@projectzkm #311773
Universal zkVM enabling Universal Settlement & Unified Native Liquidity across all blockchains
http://discord.gg/projectzkm | http://linktr.ee/project_zkm
1533 Follower 8 Following
This article provides a summary of Circle STARKs, a novel advancement that improves the efficiency of traditional STARKs by enabling efficient operations over non-smooth fields, specifically leveraging the computational advantages of Mersenne primes. Here, we unveil how Circle STARKs overcome key limitations in traditional STARK protocols, offering new possibilities for performance optimization: http://zkm.io/blog/traditional-stark-vs-circle-stark
Here, we have another thought-provoking article by Haotian CryptoInsight examining various solutions for Cross-L2 interoperability, providing an objective and comprehensive overview of how different technologies address cross-layer and cross-chain interactions, featuring ZKM's Entangled Rollups design.
Given the relevance and clarity of its analysis, we believe this article offers valuable insights into how these solutions fit into the broader context of cross-chain interoperability. Explore the fully translated article 👇
https://x.com/ProjectZKM/status/1821136857159041499
Given the relevance and clarity of its analysis, we believe this article offers valuable insights into how these solutions fit into the broader context of cross-chain interoperability. Explore the fully translated article 👇
https://x.com/ProjectZKM/status/1821136857159041499
We recently released our House of ZK Radio podcast, with the first episode featuring ZKM Chief Scientist Ming Guo⚡️
HoZK Radio #1 now available on Spotify: http://podcasters.spotify.com/pod/show/house-of-zk-radio/episodes/House-of-ZK-Radio-1-DAC-Economy-with-Ming-Guo-e2mt1sf
If you're deep in the ZK space and interested in appearing as guest, please don't hesitate to reach out to us - we’d love to hear your story and share it with our audience 🤝
HoZK Radio #1 now available on Spotify: http://podcasters.spotify.com/pod/show/house-of-zk-radio/episodes/House-of-ZK-Radio-1-DAC-Economy-with-Ming-Guo-e2mt1sf
If you're deep in the ZK space and interested in appearing as guest, please don't hesitate to reach out to us - we’d love to hear your story and share it with our audience 🤝
ZKM is proud to be a Platinum Sponsor of the Science of Blockchain Conference in New York City. This sponsorship is a testament to our commitment to driving innovation in the field, and we thank everyone contributing to making SBC '24 a success 🤝
http://sbc-conference.com
http://sbc-conference.com
In her recent presentation on zkMIPS, ZKM Education Lead Alice Liu talks about using verifiable computation in a blockchain context: http://youtube.com/watch?v=9KEU0CPpqKc
Alice also leads the ZKM Education Hub, a complete learning resource for all things ZK: http://zkm.io/education-hub
Alice also leads the ZKM Education Hub, a complete learning resource for all things ZK: http://zkm.io/education-hub
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
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
We have selected the first 'featured article' of our Contributor Corner, and the honour goes to 'Emzo' for his work 'The Fiat-Shamir Transformation: Enabling Non-Interactive Proofs': http://zkm.io/education-hub/contribution/featured-articles
Emzo provides a light introduction to the Fiat-Shamir heuristic, a key cryptographic method that converts multi-round interactive proof systems into non-interactive protocols secured by cryptographic hash functions 🤝
Emzo provides a light introduction to the Fiat-Shamir heuristic, a key cryptographic method that converts multi-round interactive proof systems into non-interactive protocols secured by cryptographic hash functions 🤝
Are you interested in exploring ZKM but find our research papers complex and daunting?
Aimed at a broader audience, below are two collections of mega-threads that explain the various elements of zkMIPS and Entangled Rollups from different angles, in digestible chunks and simple terms.
zkMIPS Series: http://x.com/ProjectZKM/status/1787412765872635959
Entangled Rollups Series: https://x.com/ProjectZKM/status/1813115115547361568
Aimed at a broader audience, below are two collections of mega-threads that explain the various elements of zkMIPS and Entangled Rollups from different angles, in digestible chunks and simple terms.
zkMIPS Series: http://x.com/ProjectZKM/status/1787412765872635959
Entangled Rollups Series: https://x.com/ProjectZKM/status/1813115115547361568
Just a quick reminder – the ZKM anniversary newsletter is out now! ☀️
In this special edition, we celebrate our journey over the past year, highlight major milestones, and share exciting updates about our latest innovations and upcoming developments⚡️
Key highlights include:
- The launch of our Alpha Testnet
- Our pivotal Entangled Rollup paper
- Our vastly updated zkMIPS paper
- HouseofZK events at EthDenver and EthCC Brussels
Stayed tuned for our upcoming July recap. It's already been highly eventful since our anniversary release!
https://www.zkm.io/blog/hello-world-anniversary-newsletter
In this special edition, we celebrate our journey over the past year, highlight major milestones, and share exciting updates about our latest innovations and upcoming developments⚡️
Key highlights include:
- The launch of our Alpha Testnet
- Our pivotal Entangled Rollup paper
- Our vastly updated zkMIPS paper
- HouseofZK events at EthDenver and EthCC Brussels
Stayed tuned for our upcoming July recap. It's already been highly eventful since our anniversary release!
https://www.zkm.io/blog/hello-world-anniversary-newsletter
We're proud to support HouseofZK as they keep firing out one big initiative after another!
Check out the first episode of House of ZK Radio, featuring ZKM Chief Scientist and co-founder Ming Guo 🐝
https://x.com/HouseofZK/status/1816531165290860814
Check out the first episode of House of ZK Radio, featuring ZKM Chief Scientist and co-founder Ming Guo 🐝
https://x.com/HouseofZK/status/1816531165290860814
Catch up on all the latest news in the industry with 'Pulse Check' - a new initiative from @HouseofZK designed to keep you well-informed and up-to-date with the cutting-edge in cryptographic research and ZK developments⚡️
https://x.com/HouseofZK/status/1816045639190388772
https://x.com/HouseofZK/status/1816045639190388772
Looking forward to connecting over the latest in ZK research during SBC '24
🎓
The HouseofZK event in NYC is a special one for ZKM - we hope you can join us: http://zkm.io/events/house-of-zk-new-york
https://x.com/HouseofZK/status/1815293973952393483
🎓
The HouseofZK event in NYC is a special one for ZKM - we hope you can join us: http://zkm.io/events/house-of-zk-new-york
https://x.com/HouseofZK/status/1815293973952393483
ZKM Education Lead, Alice Liu, recently released a comprehensive video presentation that dives into the essentials of zkMIPS and provides a practical demonstration of ZKM's new Proving Service⚡️
This overview is a perfect starting point for understanding how to leverage these powerful tools in your projects: http://youtube.com/watch?v=9KEU0CPpqKc
For more information on zkMIPS and ZKM's Proving Service, visit: http://zkm.io
This overview is a perfect starting point for understanding how to leverage these powerful tools in your projects: http://youtube.com/watch?v=9KEU0CPpqKc
For more information on zkMIPS and ZKM's Proving Service, visit: http://zkm.io
We are proud to present the ZKM Anniversary Newsletter, a celebration of our journey through an unbelievably innovative and exciting first year of building ZK infrastructure. This special edition aims to encapsulate the great strides we've made, the challenges we've navigated, and the milestones we've achieved, reflecting our continued efforts to make zero-knowledge technology more accessible to all⚡️
Whether you've been with us since the beginning or are just discovering ZKM, this newsletter offers a comprehensive look at our innovations, community engagements, and the exciting paths ahead. Join us in celebrating a year of remarkable progress and much more to come: http://zkm.io/blog/hello-world-anniversary-newsletter
Whether you've been with us since the beginning or are just discovering ZKM, this newsletter offers a comprehensive look at our innovations, community engagements, and the exciting paths ahead. Join us in celebrating a year of remarkable progress and much more to come: http://zkm.io/blog/hello-world-anniversary-newsletter
Only 3 days left until ZKM's @HouseofZK Brussels 🥳
Discover the impressive array of projects, speakers, and sponsors converging at what's becoming known as the nexus of ZK research and innovation. Learn more: https://www.zkm.io/events/house-of-zk-brussels
Discover the impressive array of projects, speakers, and sponsors converging at what's becoming known as the nexus of ZK research and innovation. Learn more: https://www.zkm.io/events/house-of-zk-brussels
zkMIPS is a novel zkVM designed around the MIPS instruction set and processor architecture to generate succinct proofs of computational integrity. Utilizing the Plonky2 system, this design ensures that any program compiled to MIPS can be verified for correctness either on or off of the blockchain.
Each part of the program is verified in segments that are proved in modules. Each module is proved using STARK, and the module proofs are joined using LogUp. The resulting segment proofs are then recursively combined using PLONK to produce a single, constant-size proof for the correctness of the entire program. If the final PLONK proof is meant to be verified on chain, it can be compiled to an EVM friendly proof using Groth16.
This layered scheme is illustrated in the diagram and explained in the zkMIPS paper: https://whitepaper.zkm.io/new_zkMIPS_white_paper.pdf
Each part of the program is verified in segments that are proved in modules. Each module is proved using STARK, and the module proofs are joined using LogUp. The resulting segment proofs are then recursively combined using PLONK to produce a single, constant-size proof for the correctness of the entire program. If the final PLONK proof is meant to be verified on chain, it can be compiled to an EVM friendly proof using Groth16.
This layered scheme is illustrated in the diagram and explained in the zkMIPS paper: https://whitepaper.zkm.io/new_zkMIPS_white_paper.pdf
We are honoured for @ProjectZKM’s upcoming @HouseofZK to be sponsored by some of the leading innovators in the blockchain space at @EthCCweek in Brussels⚡️
Our Silver Sponsors include:
🥈 @RiscZero: Setting new standards in verifiable computations with the first production-ready zkVM.
🥈 @dedaub: Trusted for securing billions in TVL with top-tier blockchain audits and deep security expertise.
🥈 @MarlinProtocol: Marlin is a verifiable computing protocol featuring TEE and ZK-based coprocessors to delegate complex workloads over a decentralized node network.
Learn more about these Silver Sponsors below 👇
https://x.com/houseofzk/status/1807768785417286125?s=46
Our Silver Sponsors include:
🥈 @RiscZero: Setting new standards in verifiable computations with the first production-ready zkVM.
🥈 @dedaub: Trusted for securing billions in TVL with top-tier blockchain audits and deep security expertise.
🥈 @MarlinProtocol: Marlin is a verifiable computing protocol featuring TEE and ZK-based coprocessors to delegate complex workloads over a decentralized node network.
Learn more about these Silver Sponsors below 👇
https://x.com/houseofzk/status/1807768785417286125?s=46
We're frequently asked about the hardware resources that are required to build with our state-of-the-art zkVM (zkMIPS) ⁉️
Our freshly launched Prover Service provides access to powerful servers and tools necessary for generating validity proofs according to your specific requirements. This infrastructure enables the utilization of zkMIPS within your project without the need for high-cost, resource-intensive hardware setups ⚡️
You can find more details about the ZKM Prover Service here: zkm.io/blog/zkms-prov…
Our freshly launched Prover Service provides access to powerful servers and tools necessary for generating validity proofs according to your specific requirements. This infrastructure enables the utilization of zkMIPS within your project without the need for high-cost, resource-intensive hardware setups ⚡️
You can find more details about the ZKM Prover Service here: zkm.io/blog/zkms-prov…