The article introduces its new SPQR grouping system, designed to enhance software security and transparency through smaller, verifiable code groups, simplifying the audit process.
This technical article explains the “Elegant Transcript” in the Halo2 zero-knowledge proof system. It acts as a core protocol, securely coordinating all data exchange between the prover and verifier to ensure the proof’s correctness and safety.
The Lita Foundation has officially launched Valida zkVM 1.0, an efficient zero-knowledge virtual machine designed to provide fast and low-cost ZK proof generation for blockchain applications, enhancing scalability.
The article introduces Samaritan, an innovative "ZK coprocessor." It empowers smart contracts by offloading complex computations off-chain, generating zero-knowledge proofs, and submitting them back to the blockchain, providing strong off-chain compute capacity at low cost.
发表于 ESORICS 2025
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/
Editor: Purple
<100 subscribers
Share Dialog
Support dialog
