belfortlabs / hello-fpgaLinks
Belfort FPGA acceleration for TFHE-rs; for demo use on AWS
☆20Updated this week
Alternatives and similar repositories for hello-fpga
Users that are interested in hello-fpga are comparing it to the libraries listed below
Sorting:
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆37Updated this week
- Open Cryptanalysis Platform☆10Updated last month
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆190Updated last week
- FN-DSA (Falcon) signature scheme☆45Updated 6 months ago
- AES-GEM (AES Galois Extended Mode) implementation.☆13Updated 7 months ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated 3 weeks ago
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆18Updated last week
- Load and execute Linux ELF binaries☆40Updated last month
- Mastic: Private Weighted Heavy-Hitters and Attribute-Based Metrics☆11Updated 10 months ago
- NVidia sass disassembler/inline patcher☆29Updated last week
- ☆109Updated last month
- Rust RISC-V Simulator☆41Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- A utility library to bridge llvm and mlir gaps.☆13Updated 9 months ago
- A benchmark for standalone WebAssembly☆34Updated last year
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- ☆24Updated 10 months ago
- Rust RISC-V Virtual Machine☆108Updated last month
- A collection of high-performance crypto implementations.☆52Updated 5 months ago
- AES Galois Extended Mode☆18Updated last year
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Updated 3 months ago
- Wasm Analysis Framework For Lightweight Experiments☆51Updated 3 months ago
- Repository for the current status of the LESS submission☆12Updated 5 months ago
- A categorized list of system calls used by popular Unix-like operating systems☆24Updated 3 weeks ago
- Bertie TLS 1.3 Implementation☆125Updated this week
- Research unikernel for virtualized services☆51Updated 2 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆13Updated this week
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆117Updated this week
- Tenstorrent system interface library☆31Updated this week
- ☆17Updated 3 years ago