thisvishalsingh's profile picture. Security Researcher  || Leading @Zippel_Labs , tg: http://t.me/thisvishalsingh . DM for security review.

thisvishalsingh 🪐

@thisvishalsingh

Security Researcher || Leading @Zippel_Labs , tg: http://t.me/thisvishalsingh . DM for security review.

Ghim

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


Ethereum is going all in on ZK.


I implemented the ZP1 zkVM from scratch in Rust. github.com/ZippelLabs/ZP1 Benchmarks 🤯 Want to join ZippelLabs core contributor team? Try contributing ZP1 zkVM!

thisvishalsingh's tweet image. I implemented the ZP1 zkVM from scratch in Rust.
github.com/ZippelLabs/ZP1

Benchmarks 🤯

Want to join ZippelLabs core contributor team? Try contributing ZP1 zkVM!

Hey how to raise funds? Can you share your story from building a product to raising them then bring that product to the top level in your opinion? Facts vs reality?


someETHing awesome is loading

someETHing awesome is loading

Zippel_Labs's tweet image. someETHing awesome is loading


working 20 hours a day. going uni exams, loaded 40 subject not a complaint. thankful to get to write this next chapter of ZippelLabs /ZP1 !

thisvishalsingh's tweet image. working 20 hours a day. 
going uni exams, loaded 40 subject 
not a complaint. 
thankful to get to write this next chapter of ZippelLabs /ZP1 !

Wow ty @drakefjustin , he has been very humble supporter during building the ZP1.

thisvishalsingh's tweet image. Wow ty @drakefjustin , he has been very humble supporter during building the ZP1.

The zp1 system leverages Circle STARKs over the Mersenne-31 (M31) field, which allows for highly efficient arithmetic on standard CPUs/GPUs while avoiding the overhead of larger prime fields (like Goldilocks or BabyBear) or elliptic curves (like BN254).


Till now I have not tried fuzzing tools, I wann try and use it


I got lots of queries on how to start contribution and whats use - I have opened Discussion in zp1 repo, feel free to add your qns, I will reply to each and every qns - github.com/this-vishalsin…


Deep sleep comes after a satisfying Deep work completion.


I'm still looking for Cryptographers who are 10x better than me in research and development.

I'm looking for applied cryptographer, dm me. More details on the way.



I was looking at @ Mysten_Labs /sui BB. Why DoS is oos? How you all are able to maintain completeness? `While we are aware of the potential for DoS attacks, our focus is on vulnerabilities that could lead to unauthorized access or data leakage, so DoS attacks are out-of-scope`


Recommended reading for lookup argument eprint.iacr.org/2022/1530 ( eprint.iacr.org/2022/1530.pdf) Super well written and easy to follow.


thisvishalsingh 🪐 đã đăng lại

Honored to collaborate with @FormalLand. Bringing together formal verification + security research to raise the bar for ZK system security. 🔥

We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.

FormalLand's tweet image. We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.
FormalLand's tweet image. We’re joining forces with @Zippel_Labs (founded by @thisvishalsingh) to redefine ZK security auditing. Traditional security research + formal verification = complete end-to-end ZK security coverage 🤝.


imo zellic/c4a is playing a big game in the security space that others are missing. So called doing the same thing in a different way bcz of the difference in thinking.


Loading...

Something went wrong.


Something went wrong.