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.

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 a software engineer working on verifiable computation and systems that minimize trust assumptions.

I started writing blockchain 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, a Swiss GmbH focused on applied cryptography: ZK Proofs, TEE / SGX and Rust.

What I am working on

  • 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
  • Lightwave: Recursive ZK Light Client operator for Tendermint, Ethereum, ...

Other projects

Project Description
DISEQ Distributed sequencer with ZK consensus
cuda-liquidations Practicing Cuda without AI: Compute 1 Billion Position Liquidations in 240 ms
spectre-rad Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
jonas089-snark Elliptic Curve Cryptography and Field Arithmetic from scratch
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. jurassic-sgx jurassic-sgx 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