<c​haser:monero.social> if there's consensus, it should be soon time to formally assign the EP numbers to FCMP++ and Carrot. xcancel.com/e_goldstein_84/status/1917027088487395574

<a​ck-j:matrix.org> A Comparative Evaluation of Zero Knowledge Proof Techniques

<a​ck-j:matrix.org> scitepress.org/Papers/2025/132691/132691.pdf

<a​ck-j:matrix.org> “This study evaluated the performance of Bulletproof

<a​ck-j:matrix.org> and zk-STARK zero-knowledge proof systems in dis-

<a​ck-j:matrix.org> tributed, decentralized, and resource-constrained en-

<a​ck-j:matrix.org> vironments, focusing on proof generation time, veri-

<a​ck-j:matrix.org> fication time, and proof size. The results show that

<a​ck-j:matrix.org> Bulletproof consistently outperforms zk-STARK in

<a​ck-j:matrix.org> terms of efficiency, producing faster proofs, smaller

<a​ck-j:matrix.org> proof sizes, and shorter verification times”

<a​ck-j:matrix.org> Nothing unexpected but still a cool paper that provides a formal comparison

<a​ck-j:matrix.org> A Comparative Evaluation of Zero Knowledge Proof Techniques

<a​ck-j:matrix.org> scitepress.org/Papers/2025/132691/132691.pdf

<a​ck-j:matrix.org> “This study evaluated the performance of Bulletproof and zk-STARK zero-knowledge proof systems in distributed, decentralized, and resource-constrained environments, focusing on proof generation time, verification time, and proof size. The results show that
Bulletproof consistently outperforms zk-STARK in terms of efficiency, producing faster proofs, smaller
proof sizes, and <clipped message>

<a​ck-j:matrix.org> shorter verification times”

<a​ck-j:matrix.org> Nothing unexpected but still a cool paper that provides a formal comparison

<a​ck-j:matrix.org> A Comparative Evaluation of Zero Knowledge Proof Techniques
scitepress.org/Papers/2025/132691/132691.pdf

<a​ck-j:matrix.org> 
“This study evaluated the performance of Bulletproof and zk-STARK zero-knowledge proof systems in distributed, decentralized, and resource-constrained environments, focusing on proof generation time, verification time, and proof size. The results show that
Bulletproof consistently outperforms zk-STARK in terms of efficiency, producing faster proofs, smaller
proof sizes, a<clipped message>

<a​ck-j:matrix.org> nd shorter verification times”

<a​ck-j:matrix.org> 
Nothing unexpected but still a cool paper that provides a formal comparison

<r​ucknium:monero.social> chaser: Of all the interesting developments of the GenAI era, what has most shocked me is the willingness of people to uncritically believe complete fabrications produced by LLMs.

<r​ucknium:monero.social> Reminds me of Citogenesis, but much worse: xkcd.com/978