Secure Evidence Attribution Label (SEAL)
☆45May 23, 2026Updated last month
Alternatives and similar repositories for SEAL
Users that are interested in SEAL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated 2 years ago
- 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☆17Jan 27, 2025Updated last year
- Examples of how to use NAIF SPICE for planetary and satellite calculations☆10Sep 23, 2018Updated 7 years ago
- When will the next leap second happen?☆12Mar 15, 2026Updated 3 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.
- Go code for working with htmx☆14Jun 1, 2023Updated 3 years ago
- code share for paper InvisMark: Invisible and Robust Watermarking for AI-generated Image Provenance☆56Apr 13, 2026Updated 2 months ago
- ☆11Apr 16, 2026Updated 2 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- ☆13Sep 26, 2024Updated last year
- A forensic system baselining, searching, and evidence collection tool☆19Sep 4, 2019Updated 6 years ago
- Library and gadget to do regex string matches in halo2☆37Jul 25, 2024Updated last year
- ☆13Aug 10, 2021Updated 4 years ago
- A simple python program to convert graphical circuits to quantikz figures.☆14Aug 23, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- STV vote counting for various actual jurisdictions.☆17May 19, 2026Updated last month
- A scanner for DKIM selectors.☆14Nov 5, 2018Updated 7 years ago
- ☆19Dec 1, 2024Updated last year
- Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.☆23Nov 5, 2018Updated 7 years ago
- Set up your GitHub Actions workflow with a specific version of Zig (https://ziglang.org/).☆19Oct 5, 2024Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated last year
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆12Feb 18, 2023Updated 3 years ago
- Python Tools for Quantum Error Correction☆28Apr 27, 2026Updated 2 months ago
- A model of Polar encoder/decoder☆11Dec 8, 2022Updated 3 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.
- DF-W: a new deepfake dataset comprising of deepfake videos created and shared by the Internet community☆19Mar 18, 2024Updated 2 years ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- Code repository for the ECAI 2025 paper: Diffusion Noise Feature: Accurate and Fast Generated Image Detection.☆25Jan 28, 2026Updated 5 months ago
- World's first zk explorer☆10Nov 12, 2023Updated 2 years ago
- prove eth_call result☆15Mar 25, 2024Updated 2 years ago
- A gemini server written in rust.☆11Sep 28, 2025Updated 9 months ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 5 months ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- ☆13Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A zero-knowledge virtual machine with only one instruction☆13Mar 3, 2022Updated 4 years ago
- Verify DomainKeys Identified Mail signatures☆10Jan 24, 2023Updated 3 years ago
- ☆11Sep 10, 2024Updated last year
- 🏗 forkable Ethereum dev stack focused on fast product iterations☆10Aug 28, 2021Updated 4 years ago
- ☆41Jan 7, 2024Updated 2 years ago
- Zigualizer: A music visualizer built with Zig, powered by the FFT algorithm.☆29May 10, 2026Updated last month
- ☆39Jan 8, 2024Updated 2 years ago