#snarks — Public Fediverse posts

🎥 Just released! Watch the COSIC Seminar "FRIttata: Distributed Proof Generation of FRI-based SNARKs" by Hua Xu (KU Leuven): https://www.youtube.com/watch?v=sMHfxYrNl5I
📄 Read the full paper on #eprint: https://eprint.iacr.org/2025/1285
#FRIttata #SNARKs #PostQuantum #PQCrypto

🎥 Just released! Watch the COSIC Seminar "FRIttata: Distributed Proof Generation of FRI-based SNARKs" by Hua Xu (KU Leuven): https://www.youtube.com/watch?v=sMHfxYrNl5I
📄 Read the full paper on #eprint: https://eprint.iacr.org/2025/1285
#FRIttata #SNARKs #PostQuantum #PQCrypto

🎥 Just released! Watch the COSIC Seminar "FRIttata: Distributed Proof Generation of FRI-based SNARKs" by Hua Xu (KU Leuven): https://www.youtube.com/watch?v=sMHfxYrNl5I
📄 Read the full paper on #eprint: https://eprint.iacr.org/2025/1285
#FRIttata #SNARKs #PostQuantum #PQCrypto

🎥 Just released! Watch the COSIC Seminar "FRIttata: Distributed Proof Generation of FRI-based SNARKs" by Hua Xu (KU Leuven): https://www.youtube.com/watch?v=sMHfxYrNl5I
📄 Read the full paper on #eprint: https://eprint.iacr.org/2025/1285
#FRIttata #SNARKs #PostQuantum #PQCrypto

Very nice overview of #cryptography and #SNARKS current hot topics and edges by @trailofbits

https://blog.trailofbits.com/2024/07/25/our-crypto-experts-answer-10-key-questions/

Vitalik Buterin breaks down ‘Binius’ as a way to speed up zero-knowledge proofs - The Ethereum co-founder expects “many more improvements” in binary-field... - https://cointelegraph.com/news/vitalik-buterin-explains-binius-improve-zero-knowledge-proofs #vitalikbuterin #cryptography #zk-proofs #binius #snarks #binary

Vitalik Buterin breaks down ‘Binius’ as a way to speed up zero-knowledge proofs - The Ethereum co-founder expects “many more improvements” in binary-field... - https://cointelegraph.com/news/vitalik-buterin-explains-binius-improve-zero-knowledge-proofs #vitalikbuterin #cryptography #zk-proofs #binius #snarks #binary

Vitalik Buterin breaks down ‘Binius’ as a way to speed up zero-knowledge proofs - The Ethereum co-founder expects “many more improvements” in binary-field... - https://cointelegraph.com/news/vitalik-buterin-explains-binius-improve-zero-knowledge-proofs #vitalikbuterin #cryptography #zk-proofs #binius #snarks #binary

Vitalik Buterin breaks down ‘Binius’ as a way to speed up zero-knowledge proofs - The Ethereum co-founder expects “many more improvements” in binary-field... - https://cointelegraph.com/news/vitalik-buterin-explains-binius-improve-zero-knowledge-proofs #vitalikbuterin #cryptography #zk-proofs #binius #snarks #binary

Formalizing soundness proofs of SNARKs. ~ Bolton Bailey, Andrew Miller. https://eprint.iacr.org/2023/656.pdf #ITP #LeanProver #SNARKs

Arithmetic Circuit to Square Arithmetic Program (QAP)

https://crypto.stackexchange.com/questions/104201/arithmetic-circuit-to-square-arithmetic-program-qap

#zeroknowledgeproofs #circuit #snarks

Why does the challenge need to be prime in Wesolowski's succinct argument of $y=x^{e}$?

https://crypto.stackexchange.com/questions/103801/why-does-the-challenge-need-to-be-prime-in-wesolowskis-succinct-argument-of-y

#challengeresponse #interactiveproofs #snarks

Why does the challenge need to be prime in Wesolowski's succinct argument of $y=x^{e}$?

https://crypto.stackexchange.com/questions/103801/why-does-the-challenge-need-to-be-prime-in-wesolowskis-succinct-argument-of-y

#challengeresponse #interactiveproofs #snarks

Why does the challenge need to be prime in Wesolowski's succinct argument of $y=x^{e}$?

https://crypto.stackexchange.com/questions/103801/why-does-the-challenge-need-to-be-prime-in-wesolowskis-succinct-argument-of-y

#challengeresponse #interactiveproofs #snarks

Why does the challenge need to be prime in Wesolowski's succinct argument of $y=x^{e}$?

https://crypto.stackexchange.com/questions/103801/why-does-the-challenge-need-to-be-prime-in-wesolowskis-succinct-argument-of-y

#challengeresponse #interactiveproofs #snarks

🧑‍🔬 Tout savoir sur les preuves à divulgation nulle de connaissance #ZKP #SNARKs #ZKRollups #STARKs - le graal de la #privacy et de la #scalability sur #Ethereum ! Un peu d'histoire et de mathématiques par @[email protected] 👇 https://journalducoin.com/blockchain/preuves-a-divulgation-nulle-de-connaissance-zero-knowledge-proofs-zk-snarks-zk-starks/

🧑‍🔬 Tout savoir sur les preuves à divulgation nulle de connaissance #ZKP #SNARKs #ZKRollups #STARKs - le graal de la #privacy et de la #scalability sur #Ethereum ! Un peu d'histoire et de mathématiques par @[email protected] 👇 https://journalducoin.com/blockchain/preuves-a-divulgation-nulle-de-connaissance-zero-knowledge-proofs-zk-snarks-zk-starks/

Les #SNARKs sur #Ethereum, ils sont nombreux à y réfléchir 🧐 C'est par exemple le cas de @[email protected], qui se lance dans le grand bain du mainnet #Ethereum 🔧
https://journalducoin.com/ethereum/ethereum-transactions-privees-aztec/