Orbiter Research🛸

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

@gakonst Brother, just try @Orbiter_Finance

which are the best apps that work across chains rn? how would you make them 10x better? i liked infinex UX, what's 10x that?

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-… • The Elegant Foundation: Plonkish Arithmetization | Psycho Virtual psychovirtual.io/posts/mina_3/ • What Does It Mean To Know? | Samuel Spitz mirror.xyz/0x62D8aAfD4956… • Glue and Coprocessor Architectures | Vitalik Buterin vitalik.eth.limo/general/2024/0… • Hashing It Out: coSNARKs at TACEO | TACEO blog.taceo.io/hashing-it-out/ • Web Proof, Make More Data Verifiable | @samoyedali @moyed/webproof" target="_blank" rel="nofollow noopener">paragraph.xyz/@moyed/webproof • Ova: A Slightly Better Nova | Benedikt Bünz hackmd.io/V4838nnlRKal9Z… • The (Zero-Knowledge Proof) Singularity Is Near | Coindesk coindesk.com/opinion/2024/0… • Turbocharged Zero-Knowledge Proofs for Mobile | Reclaim Protocol blog.reclaimprotocol.org/posts/gnark-mi… • Introduction to Interactive Proofs and Mina | Psycho Virtual psychovirtual.io/posts/mina_1/ • Cracking Proofs: The Benefits of ZKPs and Fraud Proofs | Lagrange lagrange.dev/blog/cracking-… • Cracking ZK Coprocessors: Scaling Onchain Computation | Lagrange lagrange.dev/blog/cracking-… • The Hitchhiker's Guide to Scaling Bitcoin with STARKs | Omar Espejel espejel.substack.com/p/the-hitchhik… • Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey | Ingonyama @ingonyama/solving-reproducibility-challenges-in-deep-learning-and-llms-our-journey-5e9f1f111da2?source=rss-c8015c09c44------2" target="_blank" rel="nofollow noopener">medium.com/@ingonyama/sol… • Data as a New Asset Class | Zap @0xzap/data-as-a-new-asset-class-2f52df0ae008" target="_blank" rel="nofollow noopener">medium.com/@0xzap/data-as… • (Re)Introducing Kimchi: How the Berkeley Upgrade Transformed Mina's Proof System | o1Labs o1labs.org/blog/reintrodu… • Plonk: A Mathematical Overview of this Proof System | Aligned mirror.xyz/0x7794D1c55568… • RISC-V ZKVMs: the Good and the Bad | Argument argument.xyz/blog/riscv-goo… • Provable Watermark Extraction | Ingonyama @ingonyama/provable-watermark-extraction-e8ef9ee47f25?source=rss-c8015c09c44------2" target="_blank" rel="nofollow noopener">medium.com/@ingonyama/pro… • 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/0x7794D1c55568… • Binius: Surfing on Binary Fields | Taiko taiko.mirror.xyz/quzxgRJtj5rS35… • The Acceleration of zkEVM Prover | Orbiter Finance orbiter-finance.medium.com/the-accelerati…

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/the-accelerati… #ZKRollup #Blockchain #Innovation

@gakonst What we really need is a flexible and extension friendly on instruction-level evm model sir….. we have been suffering from expensive Poseidon hash on evm🥹🥹🥹

what you think the problem is: the solidity language what the problem is: the compiler implementation

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

BTW, this proof aggregation layer will be built on @Vizing_L2 😼😼

We may add another solution which is by utilizing Type1 ZKEVM, that means most stable/existing zk application can seamless migrate their proof verification (solidity verifier) without lost security. Morden CPU and GPU will effective enough to reduce the latency.

@ChrisWu997171 Aha, both of them are the same: AMD EPYC 7763 64-Core Processor with 256 threads

@OrbiterResearch how many CPU cores/threads did you use when using pure CPU and using GPU, respectively?

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!