Skip to content
Open-Source Registry

Search 60 packages

Found
Build behaviour
Packages31–60 of 60VersionFindingsDescriptionDownloadsWhen
p3-poseidon1 cargo0.9.0-rc.1clean A generic implementation of the Poseidon1 permutation for cryptographic hash constructions.409K2h ago
p3-poseidon2-air cargo0.9.0-rc.1clean An AIR implementation of the Poseidon2 cryptographic hash function for use in zero-knowledge proof systems.229K2h ago
p3-bn254 cargo0.9.0-rc.1clean A wrapper for the ark_bn254::Fr field allowing it to be used in the Plonky3 environment198K2h ago
p3-mersenne-31 cargo0.9.0-rc.1clean An implementation of the Mersenne31 prime field F_p, where p = 2^31 - 1.111K2h ago
p3-multilinear-util cargo0.9.0-rc.1clean A collection of utility functions and tools for multilinear operations.72K2h ago
p3-lookup cargo0.9.0-rc.1clean LogUp: Logarithmic lookup arguments and multiset equality checks with multiplicities support.41K2h ago
p3-blake3-air cargo0.9.0-rc.1clean AIR implementations for the Blake3 permutation over fields of size between 2^20 and 2^32 and over binary fields.40K2h ago
p3-security cargo0.9.0-rc.1clean Soundness analysis for STARK protocols: per-error-source modules composed at the protocol call site.39K2h ago
p3-batch-stark cargo0.9.0-rc.1clean Batched STARK wrapper atop p3-uni-stark that reuses FRI openings across instances.39K2h ago
p3-circle cargo0.9.0-rc.1clean A STARK proof system built around the unit circle of a finite field, based on the Circle STARKs paper.19K2h ago
p3-rescue cargo0.9.0-rc.1clean Implementation of the Rescue hash function and its variants.15K2h ago
p3-field-testing cargo0.9.0-rc.1clean Testing utilities for finite field arithmetic and field-based operations in the Plonky3 ecosystem.12K2h ago
p3-monolith cargo0.9.0-rc.1clean Implements the Monolith permutation family over Mersenne31 and Goldilocks fields.12K2h ago
p3-sha256 cargo0.9.0-rc.1clean Plonky3 hash trait implementations for the SHA2-256 hash function.7.3K2h ago
p3-zk-codes cargo0.9.0-rc.1clean Zero-knowledge codes, including Reed-Solomon ZK encoding.3.5K2h ago
p3-sumcheck cargo0.9.0-rc.1clean Sumcheck protocol engine (product polynomials, SVO, HVZK masks)3.3K2h ago
p3-poseidon1-air cargo0.9.0-rc.1clean An AIR implementation of the Poseidon1 cryptographic hash function for use in zero-knowledge proof systems.1.5K2h ago
p3-whir cargo0.9.0-rc.1clean WHIR polynomial commitment scheme1.3K2h ago
p3-binary-field cargo0.9.0-rc.1clean Characteristic-2 tower fields GF(2) ⊂ GF(4) ⊂ … ⊂ GF(2^128) for Plonky33912h ago
p3-multi-stark cargo0.9.0-rc.1clean Multilinear (SuperSpartan-style) STARK prover for AIRs.3012h ago
p3-binary-dft cargo0.9.0-rc.1clean Additive NTT over F_2-linear subspaces of the Plonky3 binary tower fields2372h ago
p3-bus cargo0.9.0-rc.1clean Binary-native multiset bus primitives2252h ago
p3-binary-pcs cargo0.9.0-rc.1clean Multilinear polynomial commitment over Plonky3 binary tower fields, via additive-domain proximity2172h ago
p3-monolith-air cargo0.9.0-rc.1clean An AIR implementation of the Monolith permutation family for use in zero-knowledge proof systems.1201h ago
p3-sha256-air cargo0.9.0-rc.1clean An AIR implementation of the SHA-256 compression function for use in zero-knowledge proof systems.691h ago
p3-stir cargo0.9.0-rc.1clean An implementation of the STIR (Reed-Solomon Proximity Testing with Fewer Queries) polynomial commitment scheme.491h ago
p3-word cargo0.9.0-rc.1clean Word-level constraint relations for binary proving systems.202h ago
p3-word-backend cargo0.9.0-rc.1clean Proving backend for Plonky3 word-level constraint systems.131h ago
p3-blake2s cargo0.9.0-rc.1clean An implementation of the BLAKE2s cryptographic hash function, with a batched path for hashing many messages at once.1h ago
p3-blake2s-air cargo0.9.0-rc.1clean An AIR implementation for the BLAKE2s compression function over binary fields.1h ago