Discover and read the best of Twitter Threads about #Groth16
Most recents (2)
1/5🚨
@Beosin_com discovered a vulnerability in #Circom verification library (CVE-2023-33252) and warns #ZK projects about the associated risks. Circom is a Rust-based compiler for zero-knowledge proof circuits, developed alongside the #SnarkJS library.
@identhree
@Beosin_com discovered a vulnerability in #Circom verification library (CVE-2023-33252) and warns #ZK projects about the associated risks. Circom is a Rust-based compiler for zero-knowledge proof circuits, developed alongside the #SnarkJS library.
@identhree
2/5
#SnarkJS enables proof systems implementation, including trusted setups, proof generation, and verification. It supports algorithms like #Groth16, #PLONK, and #FFLONK. @Beosin_com found a severe vulnerability in #SnarkJS versions up to 0.6.11.
#SnarkJS enables proof systems implementation, including trusted setups, proof generation, and verification. It supports algorithms like #Groth16, #PLONK, and #FFLONK. @Beosin_com found a severe vulnerability in #SnarkJS versions up to 0.6.11.
3/5
The vulnerability allowed attackers to forge multiple proofs that passed verification, enabling double-spending attacks. @Beosin_com promptly reported it, assisted in fixing the issue, and the vulnerability has now been patched. Upgrade to #SnarkJS 0.7.0 for security.
The vulnerability allowed attackers to forge multiple proofs that passed verification, enabling double-spending attacks. @Beosin_com promptly reported it, assisted in fixing the issue, and the vulnerability has now been patched. Upgrade to #SnarkJS 0.7.0 for security.
🤔 Why do Zero-Knowledge Proofs Matter?
A Zero-Knowledge Proof (#ZKP) has evolved from an idea in GMR’s paper 20 years ago to a technology that empowers many Web3 companies.
Why is it so important and why is @MantaNetwork betting on it? Here’s a thread:
A Zero-Knowledge Proof (#ZKP) has evolved from an idea in GMR’s paper 20 years ago to a technology that empowers many Web3 companies.
Why is it so important and why is @MantaNetwork betting on it? Here’s a thread:
In cryptography, encryption is a process of converting plaintext (readable text) into ciphertext (unreadable text). #ZKP, however, is a higher-level encryption on computation. It’s like proving you know 3+5=8 without revealing how.
