A library for efficient sumcheck protocols
Verify AI agent claims from session transcripts
Implementation of the Damm Algorithm in various bases/alphabets
generic Sumcheck implementation for Lilium
Highly parallelizable Monte Carlo integration routine with SIMD and GPU acceleration
C language interface to MCHEP
Highly parallelizable Monte Carlo integration routine with SIMD and GPU acceleration
Allocation sanitizer for `GlobalAlloc`, which adds nominal bookkeeping to guard against incorrect `Layout`s and double-free.
Sumcheck as a ReductionFunctor implementation
Sumcheck protocol implementation for multilinear polynomials
GPU-accelerated sumcheck for jagged polynomials
DevMemCheck victim module for Swage.
No description provided.
No description provided.
No description provided.