Authenticated encryption scheme prover/synthesizer
☆15Aug 25, 2022Updated 3 years ago
Alternatives and similar repositories for ae-generator
Users that are interested in ae-generator are comparing it to the libraries listed below
Sorting:
- ☆10Nov 6, 2018Updated 7 years ago
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- FutureTrust analyzes electronic identification (eID) services in Europe and beyond. It is funded within the EU Framework Programme for Re…☆12Nov 16, 2022Updated 3 years ago
- Proof-of-concept implementation of a cryptographic multilinear maps on the integers☆12Sep 23, 2021Updated 4 years ago
- An efficient software implementation of the block cipher PRESENT for 8-bit platforms☆14Jun 11, 2013Updated 12 years ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated last year
- Some basic unsigned 128 bit math and bitwise operations implemented in go☆18Dec 27, 2014Updated 11 years ago
- Abusing U2F to 'store' a stable secret☆15Nov 23, 2015Updated 10 years ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- The platform-independent fork of Go ASCII Table Generator, ported from the Ruby terminal-tables library.☆27Jun 10, 2016Updated 9 years ago
- Privacy-preserving Tor statistics aggregation tool that implements the secret-sharing variant of the PrivEx algorithm.☆26Sep 21, 2020Updated 5 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 7 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Jan 17, 2020Updated 6 years ago
- A re-implementation of the Cuphead expert mode with all-new content☆12Nov 11, 2024Updated last year
- Cryptris, a game about asymmetric cryptography☆18Sep 6, 2014Updated 11 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- SAW front end for the MIR language from rustc☆36Jan 12, 2021Updated 5 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Feb 9, 2018Updated 8 years ago
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated 2 weeks ago
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 6 months ago
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 6 years ago
- A Rust-based bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability enforced isolation formi…☆40Updated this week
- Sieve for Exchange but really just Perl doing HTTP requests☆12Sep 17, 2016Updated 9 years ago
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Updated this week
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- Community edition of Nightfall_4☆16Feb 27, 2026Updated last week
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- A lightweight, recoverable sandbox for executing untrusted RISC-V code in constrained environments☆55Dec 31, 2025Updated 2 months ago
- A command line tool for creating, managing and distributing issued currencies and NFT's on the XRPL.☆12Dec 22, 2023Updated 2 years ago
- Arduino User Interface for XFM2 based on Teensy 4.0☆11May 25, 2020Updated 5 years ago
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Apr 11, 2025Updated 10 months ago
- Final project for COS 521: Using Hokusai algorithm to approximate frequency counts of hashtags in twitter data stream.☆12Jan 13, 2015Updated 11 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- Circuit for generating ethereum account RLP☆10Apr 6, 2025Updated 11 months ago
- Perl parser written in TypeScript☆10Jun 26, 2018Updated 7 years ago
- ☆11Apr 19, 2018Updated 7 years ago
- A node.js setup to demonstrate FIDO Universal 2nd Factor (U2F) authentication☆12Oct 23, 2021Updated 4 years ago
- Hybrid typenum/const generic arrays☆20Feb 12, 2026Updated 3 weeks ago