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

ProjectDescription
DISEQDistributed sequencer with ZK consensus
spectre-radZero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
jonas089-snarkElliptic Curve Cryptography and Field Arithmetic from scratch
articlesHand-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. toynitoyniPublic

    DEEP-FRI STARK proof library.

    Rust 4 1

  2. celestiaorg/celestia-zkevmcelestiaorg/celestia-zkevmPublic

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

    Rust 13 13

  3. DISEQDISEQPublic

    distributed sequencer with zk consensus

    Rust 31 4

  4. lightwavelightwavePublic

    Forked from timewave-computer/lightwave

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

    Rust

  5. jurassic-sgxjurassic-sgxPublic

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

    Rust

  6. articlesarticlesPublic

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

    2