succinct-proofs

Here are 3 public repositories matching this topic...

DeWebProtocol / malt-core

MALT is an authenticated storage system for traversable structured data that decouples structure from immutable objects, enabling low-latency verifiable traversal, succinct proofs, and low-amplification updates as data evolves.

ipfs merkle-dag data-authentication verifiable-storage succinct-proofs vector-commitments authenticated-storage traversable-structured-data verifiable-traversal

Updated Oct 24, 2026
Go

AshiqAhamed17 / obscura-protocol

Star

Prove you were right without revealing your bet. Privacy-first prediction markets: shielded positions (Noir), zkVM-proven solvency (SP1), confidential settlement (Chainlink CRE), USDC on Circle Arc, and an AI risk oracle on The Graph.

ethereum circle chainlink noir succinct-proofs

Updated Sep 13, 2026
Solidity

iotexproject / rs-proximity-gaps

Star

Lean 4 formalization, Python verification, and manuscripts for two ePrint papers on FRI proximity gaps above the Johnson radius (Chai & Fan, IoTeX, 2026) — ePrint 2026/861 + 2026/858.

cryptography ethereum reed-solomon stark formal-verification fri mathlib zero-knowledge-proofs lean4 zk-stark proximity-gap correlated-agreement johnson-bound action-orbit interactive-oracle-proof succinct-proofs

Updated May 20, 2026
Python

Add this topic to your repo

To associate your repository with the succinct-proofs topic, visit your repo's landing page and select "manage topics."

Learn more