Pattern Matching in Rust

Pattern matching and exhaustiveness checking algorithms implemented in Rust – GitHub – yorickpeterse/pattern-matching-in-rust: Pattern matching and exhaustiveness checking algorithms implemented in… Read more

Similar

Bellman: zk-SNARKs in Rust

Bellman is a Rust-language library for building zk-SNARKs β€” small, cheap-to-verify zero-knowledge proofs of arbitrary computations. The goal of bellman is to make it easier for the general public to use and experiment with zk-SNARKs, and also as a step fo... (more…)

Read more »