Skip to content
View jonas089's full-sized avatar
💯
Prove Everything
💯
Prove Everything
71 followers · 18 following

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: StarstruckAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Block or report jonas089

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jonas089/README.md

Blockchain Researcher and Systems Engineer

Core Skills

  • Rust
  • Systems Engineering
  • Distributed Systems and Blockchain
  • Cryptography
  • Zero-Knowledge
  • ECC
  • STARKs

Other Languages

  • Python
  • Typescript

🛠 Experience

Founder — Ciphercurve LLC

Ongoing

  • Collaborated with Timewave Computer to build Valence, an interchain ZK development stack.

ZK Engineer — ChainSafe Systems

Oct 2024 – Mar 2025

  • Built storage proof systems for EVM chains and L2s including Optimism and Arbitrum.
  • Developed spectre-rad, a ZKVM-optimized light client.
  • Won 2nd place ($10,000 prize) at an Aligned Layer hackathon.

R&D Engineer — Casper Association

Nov 2022 – Sep 2024

  • Core contributor to Kairos, a proof-of-concept L2 on the Casper network.

R&D Assistant — Casper Association

Jul 2022 – Oct 2022

  • Developed dApps and Rust-based smart contracts for the Casper ecosystem.
  • Published educational content on blockchain and cryptography on Medium.

Click to connect with me:

LinkedIn

Click to download my Resume:

Download

Jonas Pauli's GitHub stats

Pinned Loading

  1. DISEQ DISEQ Public

    distributed sequencer with zk consensus

    Rust 30 6

  2. spectre-rad spectre-rad Public

    Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

    Solidity 4 1

  3. ciphercurve-trie ciphercurve-trie Public

    Rust Merkle Trie for Blockchain Systems

    Rust 1 1

  4. toyni toyni Public

    Forked from ciphercurve/toyni

    Toyni is a new, emerging ZK proof system in Rust, developed by Ciphercurve.

    Rust

  5. timewave-computer/valence-helios timewave-computer/valence-helios Public

    SP1-Helios Operator for Valence Coprocessor

    Rust 3

  6. timewave-computer/zk-merkle-proofs timewave-computer/zk-merkle-proofs Public

    ZK opening proofs for different networks (key-value, events). Verifiable against a TRUSTED ROOT.

    Rust 4 1