Skip to content
View zerachsec's full-sized avatar

Block or report zerachsec

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
zerachsec/README.md
     



     

About

Vishh — Zero Knowledge Engineer and smart contract specialist.

I came from the security side — writing, testing, and breaking EVM systems with Foundry at a depth most developers never reach. I took that mindset into ZK cryptography: studying proof systems mathematically, building circuits from first principles, reasoning about soundness at every layer.

I study 10 hours a day. I document everything publicly. I am hungry in a way that does not switch off.

Not the smartest. Just the one who won't stop.


Current Focus


🔢 ZK Mathematics

  • Finite fields and modular arithmetic
  • Elliptic curves over finite fields
  • Polynomial arithmetic and Lagrange interpolation
  • Bilinear pairings

⚙️ Proof Systems

  • Groth16 — from R1CS to trusted setup
  • PLONK — permutation arguments, custom gates
  • STARKs — FRI protocol, AIR arithmetization
  • Bulletproofs and NTT

🔧 ZK Circuits

  • Circom — constraint systems, SnarkJS
  • Noir — Barretenberg backend
  • On-chain verifier deployment with Foundry

🛡️ ZK Security

  • Soundness bug analysis
  • Under-constrained circuit detection
  • Verifier contract auditing

Stack

Zero Knowledge

         

Cryptography

     

Languages and Tools


EVM and Security

         

Currently Reading

rareskills.io/zk-book — the definitive ZK engineering resource
Justin Thaler — the complete ZK textbook
Maksym Petkus — why and how zk-SNARKs work
Least Authority — ZK mathematics from scratch
zk-learning.org — Dan Boneh and Shafi Goldwasser

Writing

Where mathematics meets trust — that's where I live.

I write about ZK mathematics, proof systems, circuit design, and EVM security. Not tutorials. Not summaries. Real technical thinking from someone going through it.

 

Milestones

# Milestone Status
01 ZK Mathematics — finite fields, elliptic curves, polynomials 🟣 In Progress
02 Proof Systems — Groth16, PLONK, STARKs from first principles ⚪ Upcoming
03 Circom circuits written and deployed on-chain ⚪ Upcoming
04 Noir — full ZK application live on testnet ⚪ Upcoming
05 ZK security research — bug bounties, Immunefi, open source PRs ⚪ Upcoming
06 ZK Engineer — first role ⚪ Target

GitHub Stats

  




Open To

  • ZK engineering roles — internships, junior and research positions
  • Technical collaboration — ZK circuits, proof systems, EVM security
  • Serious builders and researchers — if you are building something real, reach out

Guided by faith. Driven by curiosity. Built by discipline.


Pinned Loading

  1. ZKMinorProject ZKMinorProject Public

    SimpleZKAuth is an educational Zero-Knowledge authentication system built with Solidity that demonstrates privacy-preserving login for Web3. Instead of exposing wallet addresses during authenticati…

    Solidity 1

  2. zk-odyssey zk-odyssey Public

    A structured deep dive into Zero-Knowledge Proofs — covering Python fundamentals, NumPy, linear algebra, finite fields, elliptic curves, and cryptography. Explores group theory, polynomial arithmet…

    Python