Repositories list

• stellar-pq

  Public
  Post-quantum cryptography for Stellar and Soroban Smart Accounts

  TypeScript

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jun 11, 2026Jun 11, 2026

• Plonky3

  Public
  A toolkit for polynomial IOPs (PIOPs)

  Rust

  •

  Apache License 2.0

  •442442 forks•00 stars•00 issues•00 pull requests•Updated May 11, 2026May 11, 2026

• longfellow-zk-hiddenpk

  Public
  Implementation of Hidden PK circuit for PQ protection in Blockchain.

  C++

  •

  Apache License 2.0

  •106106 forks•11 star•00 issues•00 pull requests•Updated May 6, 2026May 6, 2026

• pqchain

  Public
  A PoC implementation of eprint/2025/1368

  C++

  •

  Apache License 2.0

  •00 forks•11 star•11 issue•00 pull requests•Updated May 2, 2026May 2, 2026

• falcon-rs

  Public
  Falcon post-quantum digital signatures for Rust

  C

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 28, 2026Jan 28, 2026

• soundness-layer

  Public
  Soundness Layer is a decentralized verification layer built on Walrus and Sui.

  Rust

  •

  MIT License

  •869869 forks•374374 stars•00 issues•22 pull requests•Updated Oct 29, 2025Oct 29, 2025

• testnet-vapps

  Public archive
  Soundness Layer Testnet vApps Submissions

  JavaScript

  •

  MIT License

  •653653 forks•7777 stars•11 issue•512512 pull requests•Updated Aug 19, 2025Aug 19, 2025

• sp1-sui

  Public
  A SP1 Groth16 Proof Verifier for Sui

  Rust

  •

  MIT License

  •2020 forks•7575 stars•00 issues•22 pull requests•Updated Aug 12, 2025Aug 12, 2025

• zkvm-examples

  Public
  A collection of zkVM examples—featuring SP1, Ligetron, Risc0 and Noir.

  C++

  •

  MIT License

  •11 fork•44 stars•00 issues•22 pull requests•Updated Aug 2, 2025Aug 2, 2025

• ligero-prover

  Public
  C++

  •

  Apache License 2.0

  •1515 forks•00 stars•00 issues•00 pull requests•Updated Jun 24, 2025Jun 24, 2025