A non-exaustive list of our current and past projects:

BEEFY equivocators: 🎣 & 🗡

The BEEFY protocol enables trustless bridging between Polkadot and other blockchain ecosystems like Ethereum. Via the BEEFY protocol, counterparty chains like Ethereum can trustlessly verify the latest finalized state on Polkadot and its parachains. The BEEFY protocol runs as an additional finality layer after GRANDPA to sign a subset of the blocks finalized by GRANDPA using ECDSA signatures on secp256k1. Unlike GRANDPA’s sr25519 signatures and large finality proofs, the BEEFY finality proofs can be efficiently verified on Ethereum, in particular due to the use of a subsampling protocol.

In order to ensure soundness of the BEEFY protocol, it requires a mechanism to discourage BEEFY authorities from equivocating in an attempt to trick counterparty chains into believing that a non-canonical (unfinalized) BEEFY payload was in fact finalized on Polkadot’s relay chain. This mechanism is achieved by fishing for (detecting) equivocations on the Ethereum BEEFY light client, reporting the equivocation on the Polkadot relay chain, and slashing (economically penalizing) the equivocators.

We are generously funded through the Web 3.0 Foundation’s Decentralized Futures program to implement BEEFY’s cross-chain slashing protocol. For more details on the protocol, see the BEEFY paper from Web 3.0 research team, the GitHub issue, and our ongoing implementation work to add relayer fishing to Snowbridge.

Farcaster: Atomic Swaps

We actively research and develop atomic swap technologies, especially between Bitcoin and Monero blockchains. Our research resulted in a preprint paper, in which we demonstrated for the first time a full protocol to exchange bitcoin and monero anonymously, in a trustless, permissionless, and peer-to-peer manner.

This research enabled a variety of implementations of atomic swaps, such as COMIT and Athanor Labs' ETH/XMR implementation, whom we helped bootstrap in the projects' early stages.

Farcaster, our own implementation of our research, was generously funded by the Monero community’s CCS program and launched on mainnet in January 2023.

The Monero Rust Library

We originally created and maintained the monero-rs crate under the monero-rs GitHub organization, which hosts Monero Rust centric projects.

The library supports de/serialization on block data structures, key/address/sub-address generation and parsing, private keys and one-time keys creation, and scanning transaction output with key pairs with output discovery.

Bitcoin Fee Estimator

The bitcoin mempool is messy and too many people are jumping the line, congesting whoever is behind. Let’s organize that mess. No randomly jumping in front of the line no more! Rather squeeze in and dance with the queue. This work was commissioned by Bity SA.

Payment Channels

Once upon a time, we wanted to create a tech for a simple, one-way payment channel for debit card payments (which are mostly one way as well).

CBC Casper Consensus Mechanism

In a distant past, we implemented a proof of concept of the Correct-by-Construction Casper consensus protocol, spearheaded by Vlad Zamfir.