Kalypso
@KalypsoProver
Followers
6K
Following
122
Media
10
Statuses
115
The first community-powered ZK prover network, built on @marlinprotocol
Joined October 2024
Prover networks are emerging as a critical component of the ZK end game and ensuring they remain fair, available and accessible is crucial. Our work with @symbioticfi allows the ETH community to secure the first ZK proof marketplace which uses TEEs to compute on private inputs.
Symbiotic is now live on Ethereum mainnet. After two years of development, five independent audits, and a code competition, we're the first to launch a feature-complete shared security protocol with slashing.
30
12
92
Congratulations to @symbioticfi for this major milestone. Through this initiative, Vaults and Stakers will have visibility of their rewards.
External Rewards are now live on @symbioticfi. Earn native incentives, including token rewards, from leading networks directly through Symbiotic.
4
3
10
Join @roth_edgar and @0xesli in 30 mins as they dive into ZK proofs and programmable staking.
How do you make ZK proofs faster, cheaper, and censorship resistant? Join @roth_edgar and @0xesli, Head of Ecosystem at @MarlinProtocol, as they dive into decentralized proof markets, operator incentives, and programmable staking.
5
13
72
How do you make ZK proofs faster, cheaper, and censorship resistant? Join @roth_edgar and @0xesli, Head of Ecosystem at @MarlinProtocol, as they dive into decentralized proof markets, operator incentives, and programmable staking.
13
15
90
Bro is me. I am bro
13
8
66
@gm_usi Server-side proof generation is already here! Outsourced proofs run in a TEE preserve private inputs, improving UX multi-fold. Here’s how we leverage @MarlinProtocol’s TEEs to enable this for @NoirLang circuits. https://t.co/JiVCV4N8II
blog.marlin.org
In our previous article, ‘Securing decentralized ZK prover networks through restaking’, we explored the case for prover marketplaces...
1
6
19
By combining ZK and TEE, Kalypso is becoming the go-to platform for secure, private, and verifiable computing in Web3. It’s unlocking powerful new use cases for privacy across the decentralized world.
0
0
2
With Kalypso, proofs are generated in a trusted, secure environment. This gives users confidence that inputs they share for the generation of ZK proofs are secure, something that's been missing from the space until now.
1
0
2
What sets Kalypso apart? It runs on Marlin Oyster’s TEE technology, a secure hardware layer that protects sensitive data while generating proofs.
1
1
3
With Kalypso’s open ZK proof marketplace, any developer can use any circuit, all with verified security. The mission: make ZK tech easy and trustworthy for everyone.
2
0
2
The latest @MessariCrypto DeCC report is out and it highlights Kalypso as a key innovator. Kalypso is building a permissionless marketplace for zero-knowledge (ZK) proof generation powered by secure hardware (TEEs). Here's why that matters 👇
Decentralized Confidential Computing (DeCC) represents a foundational shift in how sensitive data is handled in decentralized systems. Early blockchain infrastructure focused on transparency, sacrificing privacy and limiting potential applications. Over $1 billion has been
14
7
29
For developers, this means you can submit a proof request to Kalypso and receive not just the proof but cryptographic evidence of how and where it was computed. Learn more: 🔗 https://t.co/WOkvM01lLD 🔗
docs.kalypso.org
Marlin is a verifiable computing protocol featuring TEE and ZK-based coprocessors to delegate complex workloads over a decentralized cloud.
15
15
1
Marlin secures these proving environments using TEEs: • Inputs stay encrypted and are only decrypted inside enclaves • Circuits execute deterministically • Attestations prove the proof was generated in a trusted, verifiable enclave
1
0
2
Kalypso decentralizes ZK proving by matching proof requests with external provers. This enables scalibility but introduces challenges around input confidentiality.
1
0
1
It’s great to see more projects adopt the ZK + TEE architecture. Combining proofs with hardware-backed trust is a powerful pattern and one we use extensively with Kalypso and @MarlinProtocol 👇
So a while back, @SuccinctLabs introduced SP1-2FA and I didn't see a lot of talks about it. So here I am. Basically, it's SP1 pro max, lol. It combines ZKPs (zero-knowledge proofs) which give you math-based trust, and TEEs (trusted execution environments) which give you
19
16
31
Tune in to learn more about ZK proofs and how @KalypsoProver is simplifying generating ZKPs.
In 21h, ZK aficionados will be delighted. Get ready for a Space on ZK Proofs alongside some of the most prominent organizations in the sector: @StarkWareLtd, @PragmaOracle, and @KalypsoProver. Latest trends, hot takes, great debates. Set your reminder👉 https://t.co/QidV6QrbTt
0
3
8
Great to see @NoirLang Research Grants #4 focused on dev tools. Tools that enhance ZK proof generation are essential. Kalypso supports server-side proof generation for Noir using TEEs, preserving input privacy. Excited about the possibilities. Apply:
github.com
Noir set out as the universal language for Zero-Knowledge Proofs (ZKPs), rewriting the status quo of development barriers and unlocking intuitive access to performant cryptographic privacy for deve...
🧵 1/3 Noir Research Grants #4 is all about developer tools. $200k pool to fund open-source tooling for the Noir zk language - things that make building faster, smoother, and more reliable. Sponsored by: @aztecnetwork
@arbitrum
@StellarOrg
@worldcoin Here’s what qualifies 👇
14
10
80
Restaking was just the beginning. Symbiotic has raised $29M in a Series A, led by @PanteraCapital with participation from @cbventures. We're building Universal Staking - a foundation that transforms how blockchains implement security and economic alignment.
2K
1K
2K