Share Dialog
Share Dialog
Subscribe to ZK Insights
Subscribe to ZK Insights
A Practical Guide to Zero-Knowledge Proofs
Baby lattice folding EP2
RISC‑V-based ZKVMs dramatically speed up ZK development and can be performant via precompiles, but there are also serious concerns around reproducible builds and compiler miscompilation/security when proving “compiled program execution.”
An experimental Ethereum smart-account/multisig protocol that uses zero-knowledge proofs to verify M-of-N signature authorization while keeping the signer set private on-chain.
This blog reviews what “privacy” means for institutional tokenization and surveys concrete privacy approaches and platforms (e.g., permissioned ledgers, L1/L2 confidentiality features, and ZKP/FHE-based solutions), comparing their tradeoffs in compliance, trust assumptions, functionality, and operational complexity.
https://www.taurushq.com/blog/tokenization-privacy-solutions-an-institutional-review/
a Lean4 formalization of the paper, about what was formalized (and what wasn’t), how the formalization was produced (with Aristotle/Claude), and what follow-up work remains.
Vitalik Buterin
Vitalik：我看到了一些社区在蓬勃生长，比如四海社区，他们发生了很多不一样的变化。这里有很多活动、很多人，还有一个最重要的点——他们没有变得无聊。
If you're interested in our ZK Insights or have ideas for similar content to share, we highly encourage everyone to head over to our Github repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!
✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights
✨ Web collection version: https://insights.zkpunk.pro/
A Practical Guide to Zero-Knowledge Proofs
Baby lattice folding EP2
RISC‑V-based ZKVMs dramatically speed up ZK development and can be performant via precompiles, but there are also serious concerns around reproducible builds and compiler miscompilation/security when proving “compiled program execution.”
An experimental Ethereum smart-account/multisig protocol that uses zero-knowledge proofs to verify M-of-N signature authorization while keeping the signer set private on-chain.
This blog reviews what “privacy” means for institutional tokenization and surveys concrete privacy approaches and platforms (e.g., permissioned ledgers, L1/L2 confidentiality features, and ZKP/FHE-based solutions), comparing their tradeoffs in compliance, trust assumptions, functionality, and operational complexity.
https://www.taurushq.com/blog/tokenization-privacy-solutions-an-institutional-review/
a Lean4 formalization of the paper, about what was formalized (and what wasn’t), how the formalization was produced (with Aristotle/Claude), and what follow-up work remains.
Vitalik Buterin
Vitalik：我看到了一些社区在蓬勃生长，比如四海社区，他们发生了很多不一样的变化。这里有很多活动、很多人，还有一个最重要的点——他们没有变得无聊。
If you're interested in our ZK Insights or have ideas for similar content to share, we highly encourage everyone to head over to our Github repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!
✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights
✨ Web collection version: https://insights.zkpunk.pro/
<100 subscribers
<100 subscribers
No activity yet