🚨 ASCrypto 2025 is here! 🗓️ Sept 29–30 | Medellín | Affiliated with Latincrypt 👨‍🏫 Learn 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 from top experts 💥 2 days, 3 modules: IVC, STARKs, MPC 👥 With @benediktbuenz, Sophia Yakoubov, @aszepieniec 👇

ok trochu trapné - na tom počítači jsem neměl nainstalovanou rez, takže vygenerovaný kód se ani nezkompiloval a benchmarky byly odhady, jak @MatteoFrig60839 si také všiml Snažil jsem se to dostat do lepšího stavu, ale stále to nebyla plně funkční implementace Stále bych byl dost podezřelý, pokud je to správné + rychlejší než pečlivě ručně vytvořená implementace C++ konečný test ověření důkazu generovaného rzí ve verifikátoru c++ - prozatím se mi to nedaří a vyžadovalo by to další pobízení Bylo by hezké, kdybychom měli dobrou izolovanou funkci úplného ověření důkazu v C++ a nasměrovali CC na ni

ok a bit embarrassing - I didn't have rust installed on that machine, so the generated code didn't even compile and the benchmarks were estimates, as @MatteoFrig60839 also noticed I prodded more to get it to a better state, but still not a fully working implementation I would still be pretty suspicious if it's both correct + faster than a carefully hand crafted production grade C++ implementation the ultimate test of having a rust generated proof verified in a c++ verifier - I can't get right for now and would require more prodding would be nice if we had a good isolated full proof verification function in C++ and point CC towards that

Požádán o implementaci zbytku + přidání implementace sestavení, připojené nové deklarace identity

Rust port of @Google Longfellow using Claude Code Haven’t reviewed the code yet but it claims it has: * equivalence tests * better performance in benchmarks 1/2