In this blog post, we present the formal verification of the determinism of the BranchEq circuit of the OpenVM zkVM. This zkVM provides an implementation of RISC-V with Plonky3, and appears to be very fast even on a CPU.| Formal Land Blog
Richard Muller is a brilliant historical theologian, although I’ve had cause to take issue with some of his claims about traditional Reformed views of human free will; specifically, that his …| Analogical Thoughts