---
title: "Zero-knowledge, cryptography and protocol engineering · Mochavi"
description: "Zero-knowledge proof systems, signature schemes, consensus and execution layers in Rust."
canonical: "https://www.mochavi.com/services/cryptography"
markdown_mirror: "https://www.mochavi.com/services/cryptography.md"
language: "en"
generated_from: "prerendered HTML"
---

> Canonical HTML: [https://www.mochavi.com/services/cryptography](https://www.mochavi.com/services/cryptography)
>
> This machine-readable Markdown mirror is generated from the canonical page during the Mochavi production build.

![](https://www.mochavi.com/images/strata/strata-crystal-1920.webp)

[Services](https://www.mochavi.com/services) / Cryptography and protocol engineering

# Cryptography and protocol engineering.

Zero-knowledge proof systems, signature schemes, consensus and execution layers in Rust. We make provers and verifiers faster, ship protocol changes and get code ready for audit.

Engagements

Monthly or a fixed review

Review before audit

Fixed price

Language

Rust, plus Solidity and TypeScript

Code

Yours, in your repositories

[Start a project](https://www.mochavi.com/contact#crypto)[How it works](#how)

Who this is for

## Protocol teams and companies building on cryptography.

You need a verifier made faster, a circuit proven, a signature scheme chosen or a consensus change shipped, and the people who can do it are hard to hire.

-   ### Zero-knowledge proofs
    
    PLONK circuits and provers, KZG commitments, batch verification, MSM and FFT performance, verifier cost.
    
-   ### Signatures and curves
    
    BLS12-381 signatures and aggregation, JubJub, Poseidon hashing, and safe handling of keys and subgroup checks.
    
-   ### Consensus and protocol design
    
    Validator protocols, staking, fee markets and gas design, with the failure cases written down before the code.
    
-   ### Execution layers
    
    WASM virtual machines and EVM execution, including host functions, metering and state management.
    
-   ### Review before audit
    
    An engineering review of your cryptography so your audit finds less and costs less.
    
-   ### Post-quantum planning
    
    An inventory of where your system depends on discrete-log assumptions and a migration plan you can act on.
    

Proof

## Open source you can read.

Read the code before you talk to us. Every repository below is public.

We maintain an open-source [PLONK implementation](https://github.com/dusk-network/plonk) in Rust and lead the cryptography, consensus and VM work of a layer-1 blockchain, including an OP Stack-based EVM execution layer. We also built [dario](https://github.com/HDauven/dario), a game that generates Groth16 proofs in the browser and verifies scores on-chain.

-   Proof system[dusk-network/plonk ↗](https://github.com/dusk-network/plonk) PLONK with KZG commitments
-   Curves[dusk-network/bls12\_381 ↗](https://github.com/dusk-network/bls12_381) and [jubjub ↗](https://github.com/dusk-network/jubjub)
-   Hashing[dusk-network/Poseidon252 ↗](https://github.com/dusk-network/Poseidon252)
-   Execution[dusk-network/piecrust ↗](https://github.com/dusk-network/piecrust) WASM VM
-   Node[dusk-network/rusk ↗](https://github.com/dusk-network/rusk)
-   Groth16 in the browser[HDauven/dario ↗](https://github.com/HDauven/dario)

[Read: BLS aggregation, what it costs](https://www.mochavi.com/notes/bls-signature-aggregation)

HD

Your contact

## Hein Dauven, founder and engagement lead

Rotterdam, Netherlands · [LinkedIn ↗](https://www.linkedin.com/in/heindauven/)

Hein founded Mochavi and leads every engagement. He is your contact from the first call to delivery; Mochavi's senior engineers do the work with him.

How it works

## Monthly or fixed.

1.  ### A technical call
    
    Thirty minutes with Hein on your code and the bottleneck. No sales call first.
    
2.  ### Monthly or fixed review
    
    Senior engineering by the month for performance and protocol work, or a fixed-price review before audit.
    
3.  ### Measured results
    
    Benchmarks before and after on your hardware, pull requests to your repository, written notes on every decision.
    

Questions

## Questions buyers ask.

Can Mochavi make our PLONK prover or verifier faster?

Yes. We maintain an open-source PLONK implementation in Rust and work on MSM and FFT performance, batch verification and verifier cost. We benchmark before and after on your hardware and deliver the changes as pull requests to your repository.

Do you replace an audit?

No. We make your code ready for one and fix what the auditors find. An independent audit is still the right call for anything holding value.

Can you work on our existing codebase?

Yes. Most cryptography work is on existing code: making a verifier faster, fixing a soundness issue or adding a feature to a circuit.

Who would actually do the work?

Senior Mochavi engineers, led by Hein, who stays your contact throughout.

Who owns the code?

You do. Open-source contributions stay under your project's license.

![](https://www.mochavi.com/images/strata/strata-band-1920.webp)

Start a project

## Tell us what has to work.

Describe the system and the deadline. We reach out within five days; the first call is free and confidential.

* * *

[Start a project](https://www.mochavi.com/contact#crypto)

Or email hello@mochavi.com