code for privacy-preserving sat solver
☆17Jul 14, 2023Updated 2 years ago
Alternatives and similar repositories for ppsat
Users that are interested in ppsat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fork of Yosys that integrates the CellIFT pass☆13Apr 21, 2026Updated last week
- MPC in wasm based on emp-toolkit☆11Jun 13, 2025Updated 10 months ago
- Resources on the Artifact Evaluation (AE) Process☆17Jan 29, 2021Updated 5 years ago
- Oblivious Transfer, Oblivious Transfer Extension and Variations☆183Updated this week
- Implementation for the protocols described in https://eprint.iacr.org/2023/1700☆14Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- Malicious Two Party Computation Based on Garbled Circuits.☆12Sep 5, 2020Updated 5 years ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Jun 21, 2019Updated 6 years ago
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆17Dec 1, 2018Updated 7 years ago
- A curated list of research and repositories on the novel technique of hardware fuzzing☆24Apr 26, 2026Updated last week
- Efficient and Interactive Zero-Knowledge Proofs☆108Nov 13, 2025Updated 5 months ago
- Git mirror of Victor Shoup's NTL library☆14Mar 8, 2016Updated 10 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 5 months ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆81Mar 12, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A generic Secure Computation API for garbled circuits, SPDZ, etc.☆21May 12, 2023Updated 2 years ago
- The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).☆53Oct 1, 2023Updated 2 years ago
- mantle library☆44Dec 20, 2022Updated 3 years ago
- ☆38Updated this week
- A Flexible Efficient Secure Computation Backend☆33May 26, 2018Updated 7 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆26Apr 21, 2023Updated 3 years ago
- Automated Repair of Verilog Hardware Descriptions☆38Jan 16, 2025Updated last year
- Synthesis of Loop-free Programs in Rust☆67Feb 27, 2020Updated 6 years ago
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆33Nov 13, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆26Feb 19, 2026Updated 2 months ago
- Fast Symbolic Repair of Hardware Design Code☆36Jan 20, 2025Updated last year
- library which simplifies host-GPU data transfer using userspace pagefault handling☆15Jun 8, 2012Updated 13 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- Fast, High-Rate Single-Server PIR via FHE Composition☆38May 2, 2022Updated 4 years ago
- The source code to the Voss II Hardware Verification Suite☆57Updated this week
- ☆15Mar 19, 2026Updated last month
- ☆12Mar 22, 2022Updated 4 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆54Oct 20, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An advanced circuit-based sat solver☆37Feb 24, 2025Updated last year
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- A straightforward (complete) sample of how to implement AES-GCM by using Linux crypto API at kernel side☆12Oct 6, 2022Updated 3 years ago
- a QEMU + gem5 co-simulation framework for AMD MI300X GPU research.☆45Updated this week
- Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)☆14Mar 12, 2026Updated last month
- Java-like Language with Static Information Flow Types☆14May 5, 2025Updated 11 months ago
- ☆16Feb 27, 2022Updated 4 years ago