Secure Evidence Attribution Label (SEAL)
☆39Feb 15, 2026Updated last week
Alternatives and similar repositories for SEAL
Users that are interested in SEAL are comparing it to the libraries listed below
Sorting:
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated last year
- An active, public list of project ideas related to NFCxZK☆11Dec 6, 2023Updated 2 years ago
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆16Jan 27, 2025Updated last year
- Example for ESP32 TimerCam rebuilt using ESPP to stream MJPEG video over the network using RTSP.☆18Oct 30, 2025Updated 4 months ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆17Feb 20, 2026Updated last week
- Unreal Engine Plugin to enable ROS Support☆14Jul 18, 2023Updated 2 years ago
- Example for ESP32-S3-BOX which receives an MJPEG stream from the camera-streamer app over WiFi and displays it on the screen.☆26Oct 30, 2025Updated 4 months ago
- The Core Flight System (cFS) Command Ingest Lab App (ci_lab)☆29Jan 26, 2026Updated last month
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- A custom git checkout command to automatically manage a per-branch stash☆36Nov 30, 2021Updated 4 years ago
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆36Oct 10, 2024Updated last year
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 5 months ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆37Mar 3, 2024Updated last year
- ☆37Jun 10, 2019Updated 6 years ago
- A scanner for DKIM selectors.☆12Nov 5, 2018Updated 7 years ago
- OTAdrive official library for ESP8266/ESP32 in Arduino platform☆12Oct 27, 2025Updated 4 months ago
- ☆20Updated this week
- ☆12May 31, 2019Updated 6 years ago
- ESP-IDF Port of littlevgl supporting st7789☆14Oct 19, 2019Updated 6 years ago
- ☆11Sep 10, 2024Updated last year
- WebAssembly interpreter Wasm3 on M5Stack (work in progress)☆12Jan 4, 2023Updated 3 years ago
- Rough first attempt at putting together elements from Open Aerospace to automate rocket simulation.☆11Jun 6, 2016Updated 9 years ago
- 🏗 forkable Ethereum dev stack focused on fast product iterations☆10Aug 28, 2021Updated 4 years ago
- ☆39Jan 8, 2024Updated 2 years ago
- ☆10Nov 5, 2024Updated last year
- An emacs plugin to generate doxygen documentation from C source code☆11Oct 4, 2023Updated 2 years ago
- 🏆 Finalist at EthIndia'23 Hackathon 🏆☆11Mar 18, 2024Updated last year
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- Demo of Verifiable Credentials Using the BC Wallet☆13Nov 24, 2025Updated 3 months ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- This repository is for D-Case Editor, an assurance case editor. See www.dcase.jp!☆10Mar 31, 2015Updated 10 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Repository of papers released by Modulus Labs☆13Mar 13, 2024Updated last year
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆13Apr 8, 2024Updated last year
- ☆13Feb 18, 2026Updated last week
- Marching Cubes implementation in Unreal Engine 4☆10Aug 6, 2017Updated 8 years ago
- ☆41Jan 7, 2024Updated 2 years ago