Today, intent-centric frameworks are all “one-shot” meaning that users can only execute intent at one single point in time.

This significantly limits the versatility and expressiveness of intent-centric design principles.

To help overcome this challenge, Aperture and Brevis…

Congrats to shumo - Saturn is live 🪐 🧬 🚀 and team, great milestone! Looking forward to what's coming next!!

Trust-free data access and computing is coming to all AltLayer supported chains! Excited to work with the leading team in the modular blockchain ecosystem!!

Congrats to the team, well deserved! ZK settlement is gonna be a crucial infra for sure.

Congrats to AltLayer Xterio Brevis Witness Chain LAGRANGE ⭕️ and eoracle, as the first batch of AVSs to ever go mainnet. Restaking Summer is now officially open🚀

🤔️ZK Proof or Crypto-Economics (CE) Security? This is a wrong question to ask.

🤝 We're thrilled to unveil a groundbreaking ZK Coprocessor architecture, leveraging the exceptional EigenLayer framework. It's a game-changer, proving ZK and CE are better together.…

Nebra(ZK+ZK) = ZK

🎉We’ve got some awesome news to announce!

🔐We’re working with Automata Network - 2.0 to integrate Trusted Execution Environments (TEEs) into Brevis coChain so that node operators will have more security options and to help with TEE research!

blog.brevis.network/2024/04/05/bre…

The ZK Proof that you need to challenge a Crypto-economics proposed computation result being false, is orders of magnitudes simpler than generating a full ZK Proof of the original computation. ZK + CE should be designed together as a whole.

Note that even under the 'fast mode' of Brevis coChain, you can still achieve much better security properties than those found in pure PoS. In traditional PoS, if more than two-thirds of the stakes collectively act maliciously, the system fails in an unrecoverable way. However,…

The funniest rant that I've seen for a long time, especially when you actually follow the steps through. But on a more serious note, replication as a way of verification/monitoring definitely has its role in trust-free AI. It just needs to be designed meticulously with either…

Haseeb ＞|＜ Another option is to use 'Crypto-economics Propose + ZK challenge' model like what we proposed in the Brevis coChain design. This especially applies for AI Coprocessing workloads. Truebit-style challenge game is not optimal not only because it is super hard to build an…

I have worked with liam.eth and Kartik Talwar numerous times in the past and can say from my first hand experience, ETHGlobal made indispensable contribution to the growth of Ethereum dev ecosystem.

Absolutely essential infra for ZK builders. Been looking forward to this for a loooong time. Jumping in testing this out right now! 🔥 💻

I have come to realize that the end results of many blockchain projects at this historical stage is to eventually become a chain of some sort. 😂

Philosophically, it makes sense because a new chain is like a piece of new land where you can build a city, have a population, run…

'Trustless', 'fully-onchain' and 'ZK' are never the purposes, but just a mean to an end. The ultimate goals are true ownership in the metaverse and permissionless user-generated-game/content, both of which are just impossible to do in Web 2.0 today. Great work by Blade Games…

A technical tldr of this fascinating & fun work is that using a generalized proving framework, Halo 2, proving a single-word inference takes 180 hrs. So to let Ethereum speak a sentence of 10 words, it will take 75 DAYS. Pretty sure it is slower than Treebeard! This feels like a…

Super exciting work here. Lervaging Verax Attestation Registry for attestations and gnark for ZK, we now have trustless ways to provide web2-like personalisation for using dapps.

The building blocks for mass adoption are coming together