RT @benediktbuenz: Accumulation/Folding schemes are all the hype. However, all current schemes have proofs that are linear in the circuit s…

B) Building light clients via IVC with Nova (no compression) results in correctness proof of each block being 10s of MBs. Assuming checking correctness of a block is 1M constraints, using KZH the correctness proof of a block is lowered to ~35KB.

I wish to see it in the academia too. Scholarships given to a specific race or gender is the most stupid thing ever! Make it merit-based.

@cryptobuilder_ Acting classes

@dyingukn "You know nothing"

I sent a Happy New Year message to an old high school friend, and learnt he'd been in an accident months ago and has no feeling from the chest down. I truly hope he recovers and gets back on his feet. It was a reminder of how blessed we are with health, often not realizing it.

3) The paper formalizes the AGM through linear-only maps, meaning the accumulation isn’t formally based on the AGM. However, in practice, the linear-only map is the map from the scalar field to the group space.

@EliBenSasson Lord of winterfell, the King in the north

@drpezeshkian خب پس اسراییل موفق بود و به هدف ش رسید.

Many Iranian friends of mine admitted into top CS PhD programmes at MIT, CMU, NYU etc. including myself still haven't received a visa after 7 8 months. The "additional processing" is a complete absurdity.

@malm_magnus @MarioNawfal Well we may see Quntum entanglement at some point :D

@cryptodavidw Decomcrats don't understand the priority, most people care about economics not about abortion.

@josephbonneau Congrats Joe!

@MMJahanara @relgabizon Responsible AI/search will be the best use of SNARKs.

RT @pmddomingos: Surprise!