Sergey

Audit, zk, web3 security researcher

[Sergey @whiteCoonWeb3]

Blockchain enthusiast working on zero-knowledge research
and smart contract security.

Open-source ↓
https://t.co/tdkRvMuYoA
https://t.co/RcRU2uiVb7

[Sergey @whiteCoonWeb3]

Implemented mutation testing support for 3 TON smart contract languages in UniversalMutator

This should make it easier to validate test quality and discover edge-case vulnerabilities in TON contracts.

https://t.co/HkxWsR5BpN

#TON #MutationTesting

[Sergey @whiteCoonWeb3]

This is my research repo for studying different hacks & exploits:
https://t.co/nu9nnnGPCY

Mostly EVM-focused for now, plus #TON example and new #ZK case

Always learning, more coming soon 🚀

[Sergey @whiteCoonWeb3]

Updated export-ton-verifier 🚀

Now supports #PLONK as an experimental option.
If you want to try it — examples are here:
https://t.co/hbdhyfLFJp

Repo:
https://t.co/DGncEbwWkN
Feedback welcome 👀

#zk #TON

[Sergey @whiteCoonWeb3]

I’ve also released an early version of a verifier contract generator for #Stellar (#Soroban).

It can generate verifier contracts via:
• CLI
• Rust library

Supports proofs from:
circom, noname, gnark, arkworks.

Repo:
https://t.co/LbLObwnMMK

[Sergey @whiteCoonWeb3]

6/6

I also contributed 2 documentation updates to #TON,
explaining how to use zk proofs in practice:

https://t.co/5HoIer30oD
https://t.co/9WQ2YLGVxG

#zkSNARKs #ZK #Blockchain

[Sergey @whiteCoonWeb3]

1/6

While working on a zk project, I started thinking about interoperability across zk ecosystems

Proofs generated in Go (gnark) or Rust (arkworks) are often locked into their own stacks

I wanted them to be verifiable everywhere — including in the browser and on-chain 👇

[Sergey @whiteCoonWeb3]

5/6

Thanks to the gnark-to-snarkjs and ark-snarkjs bridges,
#TON contracts can now verify proofs not only from circom / noname,
but also from gnark and arkworks.