New week, new Rust! What are you folks up to?
Create distributed-verification repo to finish distributed and resource-efficient verification for verify-rust-std.
I succeeded to retrieve all nested calls starting from #[kani::proof] entry point, and compute a stable hash value for each proof.
The hash value considers the source code of proof, as well as that of all callees. And importantly, if these source code remains unchanged, the hash value doesn't change; adding an unrelated function/contract doesn't affact the other hash values.
Full weekly report is here, but in Chinese.
Working on Mateus - a chess program.
I should have posted this last week, rather than this week!
I wrote a C# Blazor application that called a Rust WebAssembly app.
My first proper Rust program was an implementation of the Kaggle Digit Recognizer problem in Machine Learning. I had copied this to Python from a book implementation that was originally in C# and F#. I then created a Rust implementation from the C#. Then I created a React/TypeScript - Rust WebAssembly version. Then finally a C# Blazor - Rust WebAssembly version.
This was something I'd been meaning to attempt for a long time. I actually managed it in the end with the help of several genAI chats along the way. Most of the solutions were wrong but they still aided me in getting to a solution that worked.
It is by no means production-ready. I just wanted to prove to myself that I could get the basic mechanism working.