9 Repositories
Rust bpr-boolean-fhe Libraries
Single-side boolean deserializers.
serde-bool Single value, true or false, boolean deserializers. Examples Supporting serde untagged enums where only one boolean value is valid, allowin
Supporting code for the paper "Optimized Homomorphic Evaluation of Boolean Functions" submitted to Eurocrypt 2024
This repository contains the code related to the paper Optimized Homomorphic Evaluation of Boolean Functions. The folder search_algorithm contains the
🧮 Boolean expression evaluation engine. A Rust port of boolrule.
coolrule My blog post: Porting Boolrule to Rust Boolean expression evaluation engine (a port of boolrule to Rust). // Without context let expr = coolr
Choose Rust types at compile-time via boolean constants
condtype Choose Rust types at compile-time via boolean constants, brought to you by Nikolai Vazquez. If you find this library useful, consider starrin
Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
zkFHE Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM. A PoC to demonstrate an approach for private computation on
Bitpack a boolean into a pointer using bit magic.
ptr-bool tl;dr: a pointer and boolean with the same size as a pointer. A convenience crate used to bitpack a boolean and pointer into the same eight b
Conditional compilation using boolean expression syntax, rather than any(), all(), not()
Conditional compilation expressions Conditional compilation using boolean expression syntax, rather than any(), all(), not(). [dependencies] efg = "0.
Use enum to predicate something, support | and & operator.
Predicate Use enum to predicate something. Just need to implement Predicate Trait with predicate-macros crate, support | and & operator. Don't impleme
Rust implementation of the Martinez-Rueda Polygon Clipping Algorithm
Boolean operations on geo shapes This is an implementation of the Martinez-Rueda Polygon Clipping Algorithm in rust to integrate smoothly into the alr