Kalypso

116 posts

Kalypso banner
Kalypso

Kalypso

@KalypsoProver

The first community-powered ZK prover network, built on @marlinprotocol

Katılım Ekim 2024
22 Takip Edilen4.4K Takipçiler
Sabitlenmiş Tweet
Kalypso
Kalypso@KalypsoProver·
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@symbioticfi

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.

English
29
11
63
24.4K
Jakub Kocikowski
Jakub Kocikowski@kocikowski·
@KalypsoProver @NicolasRamsrud @bneiluj @ZKPassport Why not? Encrypt input with secret only TEE knows, send encrypted input, let TEE execute compute and send you back encrypted output. Even in case of vournerability in TEE, the attack surface is small, as TEE forgets the inputs after execution.
English
1
0
1
53
Julien B.
Julien B.@bneiluj·
hey guys @ZKPassport nearly 500mb for an iOS app… what kind of beast are you shipping here? 😅
Julien B. tweet media
English
33
0
104
227.8K
Jakub Kocikowski
Jakub Kocikowski@kocikowski·
@NicolasRamsrud @bneiluj @ZKPassport This is a major issue for ZK apps, when we think of global adoption. In some of the emerging markets the data cost of downloading additional 100mb-400mb is prohibitive. But I believe there are some workarounds like using TEE to delegate proof computation to in a secure manner.
English
2
0
3
212
Kalypso retweetledi
Symbiotic
Symbiotic@symbioticfi·
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.
Symbiotic tweet media
English
13
14
85
20.8K
Kalypso
Kalypso@KalypsoProver·
new pfp, who dis?
Kalypso tweet media
English
20
21
10
6.3K
Kalypso
Kalypso@KalypsoProver·
If you're in ZK, pivot to ZK + TEE
English
15
14
7
26.9K
Lukas G
Lukas G@gm_usi·
Unpopular opinion: client-side ZK is nowhere near ready. Tried a popular ZK app today: Download a 400MB wallet. Oof. Launch app: hit with another 300MB download for prover artifacts. Wifi’s melting. Create first tx. Phone goes into overdrive generating the proof. 15+ secs of pure grind before I can even hit “submit”. The UX is brutal. I’m already considering churning… and I haven’t even started using the app.
Lukas G tweet media
English
41
7
165
23.9K
Kalypso
Kalypso@KalypsoProver·
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.
English
0
0
2
215
Kalypso
Kalypso@KalypsoProver·
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.
English
1
0
2
296
Kalypso
Kalypso@KalypsoProver·
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
English
1
0
2
256
Kalypso
Kalypso@KalypsoProver·
Kalypso decentralizes ZK proving by matching proof requests with external provers. This enables scalibility but introduces challenges around input confidentiality.
English
1
0
1
174
Kalypso
Kalypso@KalypsoProver·
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 👇
Nav🔺@nuenaive

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

English
19
14
16
9.1K