A novel approach to the spec, a single artifact that can we run, test, and prove. Contributions included completeness theorem for merkle branch check widely used in consensus (deposits, lightclient sync, and PeerDAS sampling), protocol arithmetic and invariants proofs, and various spec model improvements (including modeling Heze fork with FOCIL).
Speakers: Ivan Anishchuk, Raj gill
Track: [CLS] - EPF
Start at the silicon and work up. The chip is trustworthy only if you can see what is on it, which the factory usually makes impossible, sealing the device before it ships and closing...
This presentation will start with a quick description of the problem : what is missing from hardware wallets today regarding protocol support and user interface, and what has been built...
Devcon India Overview - Don’t miss the Devcon Opening Ceremony, where we’ll set the stage for an incredible event ahead! Speakers: nethan
Money is becoming software. Tokenized deposits, digital currencies and tokenized real-world assets are moving from pilots into the financial system, and programmable money lets payments...
Most first-time contributors never make it past setup. In this workshop, we set up together and then spend the session on real code in Eventyay, FOSSASIA's open source event platform....
AI-assisted software development is increasingly limited not by the model, but by the environment around it. When coding agents fail, the root cause is often missing structure, feedback,...
