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

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: StarstruckAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: StarstruckAchievement: 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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
jonas089/README.md

Jonas Pauli

I am an applied Cryptography and Rust engineer who is passionate about hardware acceleration and circuits.

I started writing distributed systems and applied cryptography code in 2015 at the age of 15 and turned it into my profession in 2022. Currently I work on confidential computation in Rust at Celestia. I am also the founder of Ciphercurve.

Highlights

  • Zoda Cuda: cuda accelerated data availability encoding over babybear
  • RiscPass: digital identity with minimal trust assumptions, built at Ciphercurve
  • Toyni: DEEP-FRI STARK proof library
  • toyni-zkvm: Minimal ZKVM built on top of Ciphercurve's Toyni
  • celestia-zkevm Celestia's ZKEVM for L2 Rollups
  • Lightwave: Recursive ZK Light Client operator for Tendermint, Ethereum, ...
  • DISEQ: Distributed sequencer with ZK consensus
  • spectre-rad: Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
  • articles: Hand-crafted, high-quality technical articles aimed at Engineers

Background

  • Senior Software Engineer at Celestia Labs, confidential computation and Rust
  • Founder of Ciphercurve GmbH, Switzerland
  • Previously: Research and Development Engineer at Casper Association, Senior Software Engineer at ChainSafe

Contact

ciphercurve.com | riscpass.com | LinkedIn

Pinned Loading

  1. toyni toyni Public

    DEEP-FRI STARK proof library.

    Rust 4 1

  2. celestiaorg/celestia-zkevm celestiaorg/celestia-zkevm Public

    A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia

    Rust 13 13

  3. DISEQ DISEQ Public

    distributed sequencer with zk consensus

    Rust 31 4

  4. lightwave lightwave Public

    Forked from timewave-computer/lightwave

    Recursive ZK Light Client operator for Tendermint, Ethereum, ...

    Rust

  5. legacy-tee legacy-tee Public

    Revival of my dead X11SSH-F Xeon 3 Platform for Cryptographic Attestations.

    Rust

  6. articles articles Public

    Hand-crafted, high-quality technical articles aimed at Engineers

    2