jonas089 Goto Github PK

followers: 22.0 following: 11.0 repos: 46.0 gists: 1.0

Name: Jonas Pauli

Type: User

Company: Casper Association

Bio: Applied Cryptography and Rust Engineering

Location: Zug

Blog: https://jonas.software/

Blockchain Researcher and Systems Engineer

Hello World, my name is Jonas Pauli and I am a research engineer from Germany (Munich) living in Switzerland (Zurich).

Core Skills

Rust
Systems Engineering
Distributed Systems and Blockchain
Cryptography
Zero-Knowledge

Other Languages

Python
Typescript

Experience

R&D Engineer at Casper Association (since 2022)
R&D Assistant at Casper Association (2022)

Click to connect with me:

Click to visit my personal website:

Portfolio

Click to download my Resume:

Download

Jonas Pauli's Projects

a16z-casper

Official Casper implementation of a16z NFT licenses

acropolis

Authorized Anonymous Voting Hackathon Project #ethberlin

casper-amm

Automated Market Maker (AMM) smart contract.

casper-circom

Verify Zero Knowledge proofs on-chain with Circom and Casper.

casper-client-rs

casper-event-toolkit

Forked as Backup

casper-metrics-py

Collection of Casper Blockchain scraping scripts

casper-node

Reference client for CASPER protocol

casper-voting-dapp-demo

Blockchain voting app demo (React 18.2, Routerdom 6, Tailwind).

cep-78-helper

Easily install cep78

cep18

Implementation of ERC20 token for the CasperLabs platform.

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

circom-sha256

Circom Zero Knowledge sha256.

coingrep

Clean python library and URL builder to scrape the Coingecko API.

compy-sign

Elliptic Curve digital signatures from scratch in Python.

cspr-ip-scraper

Chromium driver to scrape IPs from cspr.live

ctsi-exp

Setting up Cartesi's risc-v VM (docker) for experiments.

deploy-resolver-ts

Resolve contract calls on Casper => async, continuous

ecdsa-circuit-input-lib

Rust library for generating inputs for Noir circuits that utilize Secp256k1 ECDSA signatures.

ed25519-keygen

Generate an ed25519 keypair where the public key ends with a specific suffix, including complexity estimation.

hack-zurich-2023-storage

Casper Hashmap contract for participants to store proofs / hashs in.

highschool-projects

Old, educational and deprecated Repos - personal Archive&Graveyard

inpigritas-2020-deprecated

Moved to Archive but kept on Account due to commit-history

inpigritas-2022

Python blockchain experiment.

jonas089

Portfolio website, made with React.

jonas089-snark

Elliptic Curve Zero Knowledge Proofs from scratch.

jonas089-trie

Rust Merkle Trie for Blockchain Systems

kairos-cctl-env

CCTL environment and setup scripts for kairos contract, target node v2.0 & vm 1.0

kairos-delta-tree

Merkle Tree for a Transaction Rollup System.

kairos-lab

Premature Kairos Zk Rollup Demo.