Blog Testnet Code Jobs Sign up

Keeping cryptocurrency decentralized

Keeping cryptocurrency decentralized

Coda is the first cryptocurrency protocol with a constant-sized blockchain. Coda compresses the entire blockchain into a tiny snapshot the size of a few tweets.

That means that no matter how many transactions are performed, verifying the blockchain remains inexpensive and accessible to everyone.

Coda is the first cryptocurrency protocol with a constant-sized blockchain. Coda compresses the entire blockchain into a tiny snapshot the size of a few tweets.

That means that no matter how many transactions are performed, verifying the blockchain remains inexpensive and accessible to everyone.

Keeping cryptocurrency decentralized

Keeping cryptocurrency decentralized

Coda is the first cryptocurrency protocol with a constant-sized blockchain. Coda compresses the entire blockchain into a tiny snapshot the size of a few tweets.

That means that no matter how many transactions are performed, verifying the blockchain remains inexpensive and accessible to everyone.

Coda is the first cryptocurrency protocol with a constant-sized blockchain. Coda compresses the entire blockchain into a tiny snapshot the size of a few tweets.

That means that no matter how many transactions are performed, verifying the blockchain remains inexpensive and accessible to everyone.

Alpha testnet

We're excited to announce our alpha testnet. Check out this page to learn more and get involved.

We're excited to announce our alpha testnet. Check out this page to learn more and get involved.

Our Mission

We're making the world legible at a glance

We're making the world legible at a glance

Coda is a cryptocurrency that can scale to millions of users and thousands of transactions per second while remaining decentralized. Any client, including smartphones, will be able to instantly validate the state of the ledger. This is in service of our goal to make software transparent, legible, and respectful.

Coda is a cryptocurrency that can scale to millions of users and thousands of transactions per second while remaining decentralized. Any client, including smartphones, will be able to instantly validate the state of the ledger. This is in service of our goal to make software transparent, legible, and respectful.

Protocol Design

  • Compact blockchain

    Compact blockchain

    Coda uses recursive composition of zk-SNARKs to compress the whole blockchain down to the size of a few tweets.

    No one needs to store or download transaction history in order to verify the blockchain.

    Coda uses recursive composition of zk-SNARKs to compress the whole blockchain down to the size of a few tweets.

    No one needs to store or download transaction history in order to verify the blockchain.

    Compact blockchain

    Compact blockchain

    Coda uses recursive composition of zk-SNARKs to compress the whole blockchain down to the size of a few tweets.

    No one needs to store or download transaction history in order to verify the blockchain.

    Coda uses recursive composition of zk-SNARKs to compress the whole blockchain down to the size of a few tweets.

    No one needs to store or download transaction history in order to verify the blockchain.

  • Instant sync

    Instant sync

    Coda syncs instantly, allowing you to verify the blockchain even on a mobile phone. Interact with the blockchain anywhere.

    Coda syncs instantly, allowing you to verify the blockchain even on a mobile phone. Interact with the blockchain anywhere.

    Instant sync

    Instant sync

    Coda syncs instantly, allowing you to verify the blockchain even on a mobile phone. Interact with the blockchain anywhere.

    Coda syncs instantly, allowing you to verify the blockchain even on a mobile phone. Interact with the blockchain anywhere.

Team

Evan Shapiro

CEO

Evan Shapiro graduated from Carnegie Mellon with a BS in computer science. He then obtained his research MS while working in the CMU Personal Robotics Lab, where he did research for the HERB robotics platform. He has also worked as a software engineer for Mozilla.

Izaak Meckler

CTO

Izaak Meckler is a mathematician and computer scientist. Most recently, he was a PhD student studying cryptography at UC Berkeley. Prior to that, he worked as a software engineer at trading firm Jane Street, and has contributed to numerous open source projects including the Elm compiler.

Brad Cohn

Strategy & Operations

Brad Cohn has diverse work experience, including stints in an electrophysiology lab, high frequency trading firm, a technology think tank, and a hedge fund. He most recently came from Bridgewater Associates where he was an engineer on the currency team and Ray Dalio's research team before joining a group of engineers dedicated to rearchitecting core investment systems. He holds a BS in math from UChicago with a minor in computational neuroscience.

Brandon Kase

Protocol Engineer

Brandon Kase loves functional programming. He was first introduced to it while pursuing his BS in computer science at Carnegie Mellon. He has worked as a software engineer for Highlight (acquired by Pinterest), Pinterest, Facebook, and Mozilla. Brandon is excited about the safety and clarity strong statically typed functional programming techniques can bring to the software industry. He also enjoys proselytizing, so you may find him speaking at a conference near you.

Corey Richardson

Protocol Engineer

Corey Richardson is a seasoned open source contributor, recently working primarily on the Rust compiler and libraries. They studied computer science at Clarkson University and have worked at Dyn, Mozilla, Leap Motion, and NICTA. They are especially interested in formal verification, the seL4 microkernel, and what high powered functional programming can do for trustworthy software.

Deepthi Kumar

Protocol Engineer

Deepthi is a functional programming enthusiast and software engineer. In her recently completed master's work, Deepthi designed GitQL, a novel embedded DSL for querying textual changes in software repositories. Her interests span programming languages and program analysis. Deepthi holds an MS in computer science from Oregon State University and a BE from Visvesvaraya Technological University.

Nathan Holland

Protocol Engineer

Nathan is a passionate, self-taught programmer who loves programming languages and paradigms and using high-level abstractions to create high-performance systems. Some of his favorite projects have been developing an array programming languages that targeted GPUs, an Elixir DSL for service buses, a MySql binary log deserializer, and a VR-based window manager on Linux. Most recently, Nathan was building a unique educational program to teach people how to program from the ground up using simplified programming languages and a simple virtual machine.

John Wu

Protocol Engineer

John Wu obtained a BS in Applied Mathematics at UCLA and a MS in Computer Science at NYU. His academic interests in CS and Math span many different fields with particular focus on programming languages and machine learning. His industry experience includes projects with Visa, American Express, Amazon and JetBrains. Most recently John helped develop Datalore, a new data science IDE from JetBrains that suggests context-aware actions to help data scientists with their analyses.

Joel Krauska

Protocol Reliability Engineer

Joel builds networks. He loves open source technologies, automation and monitoring large systems at scale. Over the years, he has worked for ISPs, network hardware and software vendors, online gaming companies, consumer electronics, large scale websites and network analytics companies. He has a MS and BS from the University of Illinois Engineering.

Paul Steckler

Protocol Engineer

Paul is a functional programmer and researcher. In the academic realm, he's followed his interest in PLs, type systems, and formal verification through collaborations with INRIA, the MIT PLV Group, and NICTA. He also worked on the initial implementation of Alacris, a cryptocurrency solution layered on top of existing blockchains. He holds a PhD in computer science from Northeastern University.

Nacera Rodstein

Operations Associate

Nacera has had a career spanning startups, medium sized companies, and corporations. After earning her BS and MS from IAE in Lille, France, Nacera moved to San Francisco. Over the next decade, she worked with Bleacher Report (through growth from 10 to 60 employees and an acquisition by Turner), Mokum Solutions, Sephora, Venture Beat, AMSI, Oracle, and a software sales business which she helped start up and scale.

Joseph Bonneau

advisor

Joseph is an assistant professor at NYU. His research has spanned a variety of topics in cryptography and security including HTTPS and web security, passwords and authentication, cryptocurrencies, end-to-end encrypted communication tools, and side-channel cryptanalysis. He is co-author of the popular textbook "Bitcoin and Cryptocurrency Technologies" and co-taught the first MOOC on cryptocurrencies. He holds a PhD from the University of Cambridge and BS and MS degrees in computer science and cryptography from Stanford University.

Akis Kattis

advisor

Akis is a PhD candidate in Computer Science at NYU's Courant Institute, where he is advised by Professors Joseph Bonneau and Yevgenyi Dodis. His research revolves around cryptography, privacy, and security, currently focusing on the privacy and scalability issues affecting cryptocurrencies. He also works on differential privacy and its applications to distributed systems and private learning. Akis holds an MSc in theoretical computer science from the University of Toronto and a BSE from Princeton University.

Benedikt BΓΌnz

advisor

Benedikt is a PhD student in the Applied Crypto Group at Stanford and he is advised by Dan Boneh. His research focuses on improving the cryptography of cryptocurrencies. He has done research on zero knowledge proofs (Bulletproofs), verifiable delay functions, super light clients, confidential smart contracts and proofs of solvency.

Jill Carlson

advisor

Jill has worked with the IMF and is an advisor to cryptocurrency and blockchain-based ventures. Previously, Jill ran strategy at blockchain start up Chain, where she managed initiatives with Nasdaq and State Street. Jill has conducted academic research on cryptocurrency at the University of Oxford, where she focused on the economic and political implications of bitcoin. Jill began her career as a credit trader at Goldman Sachs. She holds a MSc from Magdalen College, Oxford, and an AB from Harvard, where she studied Classics.

Paul Davison

advisor

Paul Davison is the CEO of CoinList - the leading platform for high quality, compliant token sales and airdrops. Prior to CoinList, Paul was the Founder/CEO of Highlight (acquired by Pinterest), an EIR at Benchmark Capital, and a VP at Metaweb (acquired by Google). He holds a BS from Stanford University and an MBA from Stanford Business School.

Jobs

We're hiring engineers to work on exciting problems in cryptography, programming languages, and distributed systems, though by no means do applicants already need to be experts in these fields. We are committed to building a diverse, inclusive company. People of color, LGBTQIA individuals, women, and people with disabilities are strongly encouraged to apply.

  • Functional programming

    Functional programming

    A cornerstone of our approach is a focus on building reliable software through the use of statically-typed functional programming languages.

    This is reflected in our OCaml codebase and style of structuring code around DSLs, as well as in the design of languages we're developing for Coda.

    A cornerstone of our approach is a focus on building reliable software through the use of statically-typed functional programming languages.

    This is reflected in our OCaml codebase and style of structuring code around DSLs, as well as in the design of languages we're developing for Coda.

    Functional programming

    Functional programming

    A cornerstone of our approach is a focus on building reliable software through the use of statically-typed functional programming languages.

    This is reflected in our OCaml codebase and style of structuring code around DSLs, as well as in the design of languages we're developing for Coda.

    A cornerstone of our approach is a focus on building reliable software through the use of statically-typed functional programming languages.

    This is reflected in our OCaml codebase and style of structuring code around DSLs, as well as in the design of languages we're developing for Coda.

  • Cryptography and mathematics

    Cryptography and mathematics

    We're applying advanced cryptography, building on fundamental research in computer science and mathematics.

    We're applying advanced cryptography, building on fundamental research in computer science and mathematics.

    Cryptography and mathematics

    Cryptography and mathematics

    We're applying advanced cryptography, building on fundamental research in computer science and mathematics.

    We're applying advanced cryptography, building on fundamental research in computer science and mathematics.

  • Distributed systems

    Distributed systems

    We implement state-of-the-art consensus protocols and have developed frameworks for describing distributed systems, enabling us to quickly iterate.

    We implement state-of-the-art consensus protocols and have developed frameworks for describing distributed systems, enabling us to quickly iterate.

    Distributed systems

    Distributed systems

    We implement state-of-the-art consensus protocols and have developed frameworks for describing distributed systems, enabling us to quickly iterate.

    We implement state-of-the-art consensus protocols and have developed frameworks for describing distributed systems, enabling us to quickly iterate.

Investors

Metastable

Polychain Capital

ScifiVC

Dekrypt Capital

Electric Capital

Curious Endeavors

Kindred Ventures

Caffeinated Capital

Naval Ravikant

Elad Gil

Linda Xie

Fred Ehrsam

Jack Herrick

Nima Capital

Charlie Noyes

O Group