512 karma · joined September 3, 2012
A “Confessions of a Software Developer” website where devs can come in and make anonymous confessions.
At Eulen Labs, we build products for the sovereign individual, with a focus on security, privacy, and technical excellence. We are looking for a battle-tested, hands-on architect to become the guardian of our core production systems.
The Role
This is a deeply technical, hands-on position for a master craftsperson who prefers architecting and shipping brilliant code to attending meetings. As the technical owner of our high-volume core services, you will be the gatekeeper of quality, the champion of reliability, and the calm voice of reason during a crisis. Your mission: to ensure our systems run with unwavering stability and speed, enabling us to deploy frequently and safely.
Who We're Looking For
We are seeking an expert with 15+ years of software engineering experience in critical, high-volume environments. You are a pragmatist who lives and breathes automated testing, resilient architecture, and the relentless pursuit of improvement. You have a history of leading incident responses and a passion for mentoring others through exemplary code and rigorous reviews.
More info: https://jobs.eulen.app/announcement.html
We introduce ZeroSync, the first-ever proof system addressing Bitcoin’s scalability challenges with Succinct Non-Interactive Argument of Knowledge (SNARKs). ZeroSync compresses the entire Bitcoin blockchain into a compact proof of validity, enabling instant verification and unlocking various innovative applications. We discuss our prototype implementation of a chain state proof, utilizing the Cairo language, Utreexo, and recursive STARKs. Our work enables diverse applications, including quick bootstrapping of full nodes, trustless light clients, enhanced Lightning Network privacy, and secure cross-chain bridges. Chain state proofs require no consensus changes, which is crucial as forks in Bitcoin are challenging to implement and achieve consensus for. Despite the existing bottleneck of prover performance, we present a range of optimization strategies and demonstrate the practicality of generating a complete chain state proof. Finally, we introduce zkCoins, a client-side validation protocol combined with zeroknowledge SNARKs, drastically improving privacy and throughput of token transactions. In combination with future Bitcoin features, such as Simplicity, zkCoins also enables private and more scalable BTC transactions. The groundbreaking compression capabilities of SNARKs initiated a paradigm shift in cryptocurrency design, and ZeroSync is pioneering their application to Bitcoin.