a rust crate for working with the raft protocol implemented in lean
Important
(branch raft-only):
- this branch specializes the library to work with raft only
- objective is to demonstrate that this whole protocol-in-lean-and-client-in-rust thing is (practically?) feasible
- we ignore the whole part about letting users customize their own protocol and stuff
- literally just a rust driver for raft
fyp is done! 🥳
- mutex lock when processing every request (not necessary?)
- all the marshalling overhead by doing O(n) list/array copies
- ensure no memory leaks
- correctness
- do (de/)serialization in lean so that we can just send raw bytes in rust -> no marshalling overhead? https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/Tree.20notation/near/271743211
do refer to the report for more information.