DefraDB v1.0 RC1 is here. Our first stable release candidate after 25 pre-production releases.
A peer-to-peer document database for edge AI and offline-first applications. Data syncs across devices using Merkle CRDTs. No central server required.
https://t.co/wYoujGHpOG
@joodalooped@getifyX@zero__ms@convex That exists because people didn't realize that we had explanations for each of the edge-first statements, and they would ask why it had to be p2p, verifiable, etc. So 2 seconds of scrolling vs constantly getting asked the same questions, even if the answers were on the site
Iβm hiring backend / protocol engineers to build a new product in the Penumbra codebase
DMs are open if you understand these systems like this / namada
π System Design: Proxy Re-Encryption
**Problem:** Share encrypted data without exposing content
**Solution:** Proxy Re-Encryption
- Alice encrypts data with her key
- Proxy converts to Bob's key format
- Bob decrypts with his key
- Proxy never sees plaintext
Used in secure sharing systems like Source Orbis π
π‘ Concept Explained: Threshold Cryptography
Instead of "1 key = 1 signature," threshold crypto uses an M-of-N scheme:
- Split key into N shares
- Any M shares can create a signature
- Individual shares are useless alone
This increases security and fault tolerance.
Example: A 3-of-5 system survives 2 node failures. βοΈ
π¬ Algorithm Spotlight: Merkle DAGs
- DAG = Directed Acyclic Graph (like a family tree, no loops)
**Merkle DAG benefits:**
- Each node has a cryptographic hash
- Changes create new hashes (tamper evidence)
- Efficient verification of large datasets
- Used in Git, IPFS, and DefraDB
Think "cryptographic data structures that verify themselves" π
π§ Deep Dive: Zero Knowledge Proofs
ZK Proof = Prove you know something without revealing what you know
Real examples:
- π Prove you're over 18 without showing your birthdate
- π Prove you have funds without revealing your balance
- π Prove identity without exposing personal data
3 properties: Completeness, Soundness, Zero-Knowledge π―
π Learning Corner: Content-Addressable Data
Traditional web: "Where is the data?" (URLs point to locations)
Content-addressable: "What is the data?" (Hash identifies content)
Benefits:
- β Data integrity verification
- β Deduplication
- β Decentralized storage
- β No broken links
π§ @GoogleDevs' Gemma 3 270M shows the future: specialized #AI models for specific tasks.
While they're solving deployment at scale, Source is solving the data layer:
β Edge-first data management for local AI
β Decentralized model versioning with DefraDB
β Privacy-preserving inference with ZK protocols
Small models + edge compute = true AI democratization π
https://t.co/7pWxVIBQcd
π Tech Education: What are CRDTs?
CRDT = Conflict-free Replicated Data Type
Think Google Docs collaboration, but for databases:
- Multiple users edit simultaneously
- No "merge conflicts" or data loss
- Mathematical guarantees of consistency
- Works offline, syncs when connected
DefraDB uses Merkle CRDTs for added verification π
Zero Knowledge Proofs: "I can prove I know something without telling you what it is!"
My imposter syndrome: "Finally, a cryptographic protocol that gets me." π€
Building collaborative features shouldn't require a PhD in distributed systems. DefraDB makes it simple:
β Real-time collaboration built-in
β Offline editing with perfect sync
β No conflict resolution logic needed
β Works with any data structure
Explore real examples and documentation: https://t.co/2TXPHIyhd2