26; blockchain & applied cryptography building apps @hyli-org
223 Followers
If you’re interested in privacy, you should check the latest experiment we built at @hyli-org for Halloween! it’s a nice game that shows our high tps privacy infra capabilities:) https://cachecash.testnet.hyli.org/
in july I build a simple prediction market bot for your own groupchat, where you can make your own bets with your friends, but it never made it to prod should i ship it?
I wrote an article about the sum-check protocol, if you guys are interested to learn more about it, this a good intro (with both the maths and an implementation I made in rust) 🫡 https://mtteo.dev/posts/understanding-sumcheck-protocol/understanding-sumcheck-protocol/
"Want to build in ZK? Just use any zkVM!" Introducing any-zkvm, a rust template that abstract which zkVM to use, making benchmarks much easier to create! 1. Write your code in rust 2. Benchmark your code using multiple zkVMs https://github.com/MatteoMer/any-zkvm
multiple papers about verifying edits on an image with zk-snarks recently: - VerITAS: Verifying Image Transformations at Scale: using lattice based hash+poseidon alongside Plonky2 - VIMz: Verifiable Image Manipulation using Folding-based zkSNARKs: using Nova I think we're still not there for something practical, but it's super cool to see ZK used outside of blockchains