27 results for “topic:succinct”
Ultra-fast and memory-efficient (meta-)genome assembler
Enabling queries on compressed data.
A string library
EliasFanoCompression: quasi-succinct compression of sorted integers in C#
Succinct Data Structure of Trie, written in Go
Tiny graph abstractions
Python bindings to Succinct Data Structure Library 2.0
Space efficient (graph) algorithms
Succinct binary serialization
Dynatrace FM-Index library
Single-cache-miss rank queries over size 2 and 4 alphabets. 2x faster than all other Rust crates.
C++17 library that packed some of succinct data structures and algorithms supports.
Verifiable nearest-neighbor search with Aligned Layer & SP1.
Implementation of the wavelet trie data structure
Elias-Fano encoder
include Succinct Double Array Aho-Corasick, Nest-Unescape
A .NET library providing a high-performance Wavelet Matrix, Suffix Array, FM-Index, LCP Index and Burrows Wheeler Transform.
Guides Run Succinct Prover Spn-Node CPU with Docker
Succinct Inverse Bird Game
OCaml implementations of succinct bitvector rank/select and wavelet trees, wrapping the bitv library
Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
Succinct ZK-proof implementation for RISC-V bytecode using SP1. Optimizing proving time for decentralized verification.
ZK (Zero-Knowledge) based Supply Chain Management System built on top of SP1 zkVM powered by Succinct
A header-only C++20 library for zero-copy, prefix-free data representations with algebraic types and succinct data structures
An Imaginary Reminders Management Product called Succinct
By attesting a ZKP to AI-generated contents (i.e. images), IP of these AI-generated contents can be protected. SP1 / Succinct would be used for generating/verifying a ZKP, which is attested to AI-generated contents
succinct bit vector datastructure with accelerated rank and select operations