Ohno, the famous author of 2 EIPs is no longer .eth. Don't forget to close the door on your way out bro.

Emm… it seems like who can catch most traders’ eyes will win in this cycle🙊

Formal verification is crucial to the security of decentralized protocols, especially for financial products like cross-chain bridges. We've prioritized the security of our bridge @Orbiter_Finance since day one. We're excited to share our collaborative research with Prof. Feng (@captain8299) and his team from UCSB(@ucsantabarbara) and Kyle(@kcharbo0) from PSE(@PrivacyScaling) and Luke(@lukejdpearson) from Polychain(@polychain) where we developed a novel formal verification model to evaluate the mainstream cross-rollup bridges including Orbiter Bridge protocol! Check out the work-in-progress paper: eprint.iacr.org/2024/1834

Fuding Ethereum isn’t an interesting game…. Researchers on Ethereum are the robustest shield😼😼😼

Based rollups are based

Articles/threads • ZK Hack Montréal Recap | ZK Hack zkhack.dev/2024/09/02/zk-hac… • The Elegant Foundation: Plonkish Arithmetization | Psycho Virtual psychovirtual.io/posts/mina_… • What Does It Mean To Know? | Samuel Spitz mirror.xyz/0x62D8aAfD495613C… • Glue and Coprocessor Architectures | Vitalik Buterin vitalik.eth.limo/general/202… • Hashing It Out: coSNARKs at TACEO | TACEO blog.taceo.io/hashing-it-out… • Web Proof, Make More Data Verifiable | @samoyedali paragraph.xyz/@moyed/webproo… • Ova: A Slightly Better Nova | Benedikt Bünz hackmd.io/V4838nnlRKal9ZiTHi… • The (Zero-Knowledge Proof) Singularity Is Near | Coindesk coindesk.com/opinion/2024/09… • Turbocharged Zero-Knowledge Proofs for Mobile | Reclaim Protocol blog.reclaimprotocol.org/pos… • Introduction to Interactive Proofs and Mina | Psycho Virtual psychovirtual.io/posts/mina_… • Cracking Proofs: The Benefits of ZKPs and Fraud Proofs | Lagrange lagrange.dev/blog/cracking-p… • Cracking ZK Coprocessors: Scaling Onchain Computation | Lagrange lagrange.dev/blog/cracking-z… • The Hitchhiker's Guide to Scaling Bitcoin with STARKs | Omar Espejel espejel.substack.com/p/the-h… • Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey | Ingonyama medium.com/@ingonyama/solvin… • Data as a New Asset Class | Zap medium.com/@0xzap/data-as-a-… • (Re)Introducing Kimchi: How the Berkeley Upgrade Transformed Mina's Proof System | o1Labs o1labs.org/blog/reintroducin… • Plonk: A Mathematical Overview of this Proof System | Aligned mirror.xyz/0x7794D1c55568270… • RISC-V ZKVMs: the Good and the Bad | Argument argument.xyz/blog/riscv-good… • Provable Watermark Extraction | Ingonyama medium.com/@ingonyama/provab… • Fake GLV: You Don't Need an Efficient Endomorphism to Implement GLV-like Scalar Multiplication in SNARK Circuits | Youssef El Housni ethresear.ch/t/fake-glv-you-… • Introduction to Polynomial Commitment Schemes (PCS) | Aligned mirror.xyz/0x7794D1c55568270… • Binius: Surfing on Binary Fields | Taiko taiko.mirror.xyz/quzxgRJtj5r… • The Acceleration of zkEVM Prover | Orbiter Finance orbiter-finance.medium.com/t…

Being confused that what’s the usecase of preconf if it can not provide us with the finality?

Good vibe from @invisiblgarden !

In our quest to run ZK Rollup provers on more cost-effective hardware while maintaining the timeliness of ZK proofs, we've conducted a fascinating and comprehensive trade-off study. We're excited to serve up the results of our research – a smorgasbord of innovations we've been cooking up just for you! orbiter-finance.medium.com/t… #ZKRollup #Blockchain #Innovation

We should try to build decentralized systems on math-based security assumptions rather than centralized license-based ones. Don't take any unnecessary risks.

Congrats @IrreducibleHW , yet another ZK-VM !

Zero Knowledge could save me from being Zero Knowledge about Zero Knowledge 🎃

Big congratulations to the Mina community on the Berkeley Update! This marks a new era for Mina Protocol, where Proof of Everything sets sail. Proof of Everything is a game-changer. At @Orbiter_Finance , we're focused on providing a seamless experience across Ethereum ecosystems with our innovative @Vizing_L2 solution. While we operate in different domains with unique goals, our shared passion for Zero-Knowledge #ZK technology unites us. Mina's lightweight 22KB blockchain showcases the beauty and immense potential of ZK. Recently, Vizing launched the interoperability of our omnichain services, powered by ZK technologies. We're also tackling data availability, integrity, and scalability challenges within #Ethereum ecosystems. We look forward to more opportunities to collaborate and contribute to the ZK community in the future. Together, we're shaping the future of blockchain! #Mina #Vizing #ZeroKnowledge #ZK #Orbiter

Yahoo!! After two weeks, we achieved 6X improvement in proving a batch of 20 ECDSA signatures, reducing the proving time from 72.4s to 11.4s 🚀. The time for computing wire commitments in the prover, accelerated by a 4090 GPU and involving a Merkle tree with 2^24 leaves and a leaf size of 136 Goldilocks, has a 22X improvement (29.1s to 1.3s). We extend our gratitude to the ZK community, especially the teams at @0xPolygon and @the_matter_labs , from whom we have learned a great deal!

Vizing is designed to tackle key blockchain challenges like cross-chain security, interoperability, and liquidity fragmentation. But how do we achieve this? Let's take a deep dive into Vizing's core features.🏄🧵⤵️

ENS will be offloaded to a specified Layer2. For the past & current, a complex task can be executed in ONE tx ONE network, in the future, this will be executed in SEVERAL txs SEVERAL networks.