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
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 ๐
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
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
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
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 ๐
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.