Kalypso by Marlin is a circuit-agnostic ZK Proof Marketplace supporting private inputs, using Symbiotic restaking to provide liveness and response times guarantees for proof generation. To learn more, visit marlin.org/kalypso

.Roshan | Marlin from Marlin spoke in detail about prover networks, mechanism trade-offs and how Kalypso can generate ZKPs efficiently. Great initiative by Aztec to bring everyone together and sharing the updates.

A proof marketplace ideal for Noir programs? Looks like Roshan | Marlin has found a solution 👀 Here's a snippet from our recent talk with Aztec

TEEs are primed for a narrative breakout.

Wanna know how to generate SP1 proofs using the Kalypso ZK proof marketplace? 👀 Join us at HackWeek by LambdaClass

Congrats to all the winners at dAGIhouse! Special thanks to all the builders who raw dogged Oyster Instances and Oyster Serverless, and in the process shared useful insights 😺 - Rishabh Mehrotra deployed a model on Oyster that predicts intents from user requests in natural language,

100% and it's made super simple by Marlin's Oyster. Learn more about Oyster: marlin.org/oyster Here is a detailed tutorial to run verifiable inference through Oyster - docs.marlin.org/user-guides/oy… If you want to learn more, DM!

A very engaging panel moderated by Pavel Sinelnikov from ZKM where Roshan | Marlin spoke at length about how ZK proof marketplaces like Kalypso have evolved over the past year and half. Thanks to House of ZK for organizing the meetup!

Takeaway from EthCC - Ethereum Community Conference: TEEs gaining traction. Thanks to Apple PCC While anyone can access TEEs, DevEx, tooling, and support are key differentiators Marlin empowers dApps & devs with best tools. DM if you're considering TEEs Visit marlin.org/oyster to learn more

As a connoisseur of history, there's an important distinction to be made between the early and current attempts at using TEEs. The 2017-2020 era projects used TEEs to power full-fledged blockchains with privacy-preserving smart contracts. Post-2021 attempts recognized that

TEEs are so back. The debate is not to replace ZK/FHE/MPC with TEEs but use TEEs in conjunction with everything. Why don’t you want an additional layer of hardware based verifiability at a throwaway cost? Hardware based verifiability 🤝 Cryptographic verifiability. More:

Confidential AI 🚀

Can we leverage the zero-knowledge properties of ZK blockchains and efficiency of server-side proving without compromising the security of private data? ZK meets TEEs in this walkthrough with Aztec's proving backend-agnostic programming language Noir. 🧵👇

Save the date. Going live on Thursday at 16:00 UTC to discuss the potential of TEEs and whether the hype is justified. Joining us are amazing speakers, including Nukri, David Attermann, esli, and our CPO Dan Quirk. Set your reminder here: x.com/i/spaces/1BRKj…

Here's a sneak peak of what what private data connected to AI looks like. Picture 1 = Llama 70B Picture 2 =Llama 70B + My Email and Telegram Taking our conversations to draft a partnership announcement... watch this space. #DeAI #ChatGPT #Web3 cc @verida_io Marlin

MoReCon Day 1: It's time to unveil speakers for the second panel of today's event! 🗓 Date: September 10th, 13:00 UTC 🔗 Join the Twitter Space: x.com/i/spaces/1YpKk… - Jeremy | Aizel Network, Co-Founder of Aizel Network - Misha, Co-Founder of Symbiotic - esli, Head of Ecosystem

GMarlin - Marlin

Couldn’t agree more. TDX and cloud TEE all the way.