Developer data management for an edge-first world
Joined January 2025
- Tweets 418
- Following 8
- Followers 100
- Likes 28
2 Photos and videos
Mar 11
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.
source.network/blog/defradb-β¦
1
7
19
2,005
3 Oct 2025
2
6
9
2,171
Source retweeted
30 Aug 2025
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
34
63
159
21,855
24 Aug 2025
π 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 π
1
2
335
24 Aug 2025
π Tech Philosophy: Edge-First Computing
- **Cloud-First**: Send data to distant servers
- **Edge-First**: Process data where it's created
**Advantages**:
- Lower latency (faster responses)
- Better privacy (data stays local)
- Offline capability
- Reduced bandwidth costs
The shift from centralized to distributed computing π
1
2
1,406
24 Aug 2025
π‘ 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. βοΈ
2
186
23 Aug 2025
π¬ 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" π
1
151
23 Aug 2025
π Tech Tutorial: Distributed Key Generation (DKG)
Traditional crypto: 1 private key = 1 point of failure
DKG approach:
- Multiple parties collaborate
- Generate key shares (no one has full key)
- Threshold operations (e.g., 3 of 5 needed)
- Reconstruct signatures collectively
Result: Security through distribution, not trust π‘οΈ
2
133
23 Aug 2025
π§ 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 π―
1
101
22 Aug 2025
π 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
1
88
22 Aug 2025
π§ @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 π
developers.googleblog.com/enβ¦
1
96
22 Aug 2025
π 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 π
1
104
21 Aug 2025
My database is so eventually consistent that by the time it converges, I'll have already retired and started a goat farm π
1,368
21 Aug 2025
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." π€
1
75
21 Aug 2025
My code is like a fine wine: it gets better with age, but mostly, it just gives me headaches. π·π€
71
20 Aug 2025
My distributed system is so distributed that I need a distributed system to find my distributed system. π€
56
20 Aug 2025
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: github.com/sourcenetwork/exaβ¦
58
20 Aug 2025
4/ Think Google Docs, but for any data structure: lists, maps, counters, text, anything.
1
56
20 Aug 2025
5/ The magic: It works offline too. Make changes locally, sync later, never lose work.
51