thisvishalsingh's profile picture. Security Engineer/Researcher - DM for Security audits, & Research for ZKP, zkVMs, & advanced cryptography: http://t.me/thisvishalsingh  || Leading @Zippel_Labs

thisvishalsingh 🪐

@thisvishalsingh

Security Engineer/Researcher - DM for Security audits, & Research for ZKP, zkVMs, & advanced cryptography: http://t.me/thisvishalsingh || Leading @Zippel_Labs

Закреплено

Announcing @Zippel_Labs I'm excited to finally share that from last few months building ZippelVM. End goal of ZippelVM is to prove the world software at low cost, fast, and Legitimately excited to start my own protocol. A new chapter, new challenge, let's see how it goes 🌊

zkVM tracker update: → new rows: Cairo, Starstream, Triton, Zippel → dual licensing wins: Jolt, Miden, Nock, o1 → new OpenVM group: Euclid, powdr → new EVM-unfriendly section → new non-permissive section soon™ — 6 new Ethproofs integrations: → RISC-V: Airbender, OpenVM,…

eth_proofs's tweet image. zkVM tracker update:

→ new rows: Cairo, Starstream, Triton, Zippel
→ dual licensing wins: Jolt, Miden, Nock, o1
→ new OpenVM group: Euclid, powdr
→ new EVM-unfriendly section
→ new non-permissive section

soon™ — 6 new Ethproofs integrations:

→ RISC-V: Airbender, OpenVM,…


This was Day 1 into zkp, thanks to @HickupH ser & @RareSkills_io for open sourcing when there was rare to explain it with clarity & in detail!!

hey what is your opinion on this zk-book for ZK auditing rareskills.io/zk-book



ZK Whiteboard sessions: The fifth module out of 8 is out! What you’ll learn: 00:00 Introduction, Session Outline, and the OGs of Cryptography 04:36 Introducing Knowledge Act 07:33 Defining Zero Knowledge 18:55 Defining MPC (Multi-Party Computation) 25:46 The “MPC in the…

Module 5 is live! We’re diving into The Ligero Proof System with @mvenkita and @GuilleAngeris Thanks to @BainCapCrypto for the support. Full access to all module resources zkhack.dev/whiteboard/s3m…

__zkhack__'s tweet image. Module 5 is live!   

We’re diving into The Ligero Proof System with @mvenkita and @GuilleAngeris   

Thanks to @BainCapCrypto for the support.  

Full access to all module resources

zkhack.dev/whiteboard/s3m…


Looks like I missed your message 👀

Airdrop allocation reveal starts tomorrow



The impact is what we choose! The same applies to security, especially zkVMs!!


ZK Security Part2 — Zero to One - Should you pay for security audits? Motivation - Recently during ETHGlobal-New Delhi I have talked & dived to many zk/zkVMs/Privacy & DeFi protocols team and I found there is lack of clarity. A major risk for decentralized protocols: - A lot at…


Can I say DM for zk audit? 👀 This is my 1st long post on X and I wrote fully without using AI, after 2 iterations this was posted!

ZK Security Part1 - Zero to One ZK security can be grouped into four layers: 1. Application 2. Circuit 3. Backend 4. Frontend Motivation - One mistake and you/protocols are rekt or even died forever! Security is a major part of a product and even growth decider of the…



ZK Security Part1 - Zero to One ZK security can be grouped into four layers: 1. Application 2. Circuit 3. Backend 4. Frontend Motivation - One mistake and you/protocols are rekt or even died forever! Security is a major part of a product and even growth decider of the…


This is important to accept, otherwise you will be feeling unmotivated, as you will be putting efforts that will be not equal to required to learn ZK concepts. 1st time in 2024 Jan when I started learning with the mindset that I'm good at Engineering Mathematics (Algebra &…


thisvishalsingh 🪐 сделал(а) репост

Must read as SR, I can see some of the concepts are new to me


thisvishalsingh 🪐 сделал(а) репост

Hey I want to build an AI formal verification tool trained for zk circuits initially. Is there any product already here? Recently I learnt formal verification, now I want to build it for specific rust code/zkp.


Completed Half century with 🌈 all findings included only on Cantina

thisvishalsingh's tweet image. Completed Half century with 🌈 all findings included only on Cantina

Hey, how to make a resume as a Security Researcher, other than GitHub/or other portfolio ? Any suggestions/template is appreciated


Loading...

Something went wrong.


Something went wrong.