thisvishalsingh's profile picture. Security Researcher || Chief of  @Zippel_Labs . tg: http://t.me/thisvishalsingh !

thisvishalsingh 🪐

@thisvishalsingh

Security Researcher || Chief of @Zippel_Labs . tg: http://t.me/thisvishalsingh !

Fissato

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 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 &…


Repost di thisvishalsingh 🪐

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


Repost di 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


If you are studying Applied Cryptography in detail here is the book by @danboneh sir Is there an updated version available of this book? toc.cryptobook.us/book.pdf


Thanks, for almost correct recommendations that is private audit. And I did a bug bounty which was reported as High but downgraded to informational bcz protocol doesn't have any other way to solve that problem & it was DLT/L2 pure zkrollup.

What will you choose? Given that it's a DLT/Blockchain project in Rust®: a)® Audit Competition - H/Ms 50k-100k b)® Bug bounty - C/H 10-20k --- c) Random private audits



In the last 4 days it was mostly touching grass with friends and this gave me space to rethink, I'm back stronger to continue & secure the space, add value!

thisvishalsingh's tweet image. In the last 4 days it was mostly touching grass  with friends and this gave me space to rethink, I'm back stronger to continue & secure the space, add value!

Why will a dev design it's infra protocol to allow DoS ? The protocol is on testnet


I know solana & have done solana audit but now I want to learn formal verification for solana

Hey from where I can learn Rust/SVM FV ? @CertoraInc 👀



Hey from where I can learn Rust/SVM FV ? @CertoraInc 👀


Research is the key thing before going into implementation bcz it gives you clarity on what how & why to solve the problem. And Security Research is most important after implantation, that should be in iteration.


Full booked is the wrong word imo - 2 audits for almost 3 weeks!

Now I'm back to work, I am fully booked with private audits in October 🤞



Repost di thisvishalsingh 🪐

From novice to finalist in 10months, we won @ETHGlobal New Delhi. @uniperpFdn is perpetual futures DEX on Uniswap v4 with vAMM, oracle pricing & stable OI. Thanks to @aanyaajain @rudransh190204 @atkosX @ETHGlobal @Uniswap @ocandocrypto @mohak_sol


Now I'm back to work, I am fully booked with private audits in October 🤞


Hey @TheRealKartik, on a serious note I would recommend changing the mentors dress code. lastly thanks for those I was able to add value to EthGlobal NewDelhi!


Loading...

Something went wrong.


Something went wrong.