Skip to content

@seceq Seceq

Change the repository type filter

All

    Repositories list

    8 repositories

    • zkir

      Public
      A bytecode format for zero-knowledge proof generation
      Rust
      •
      Apache License 2.0
      •4•50•9•1•Updated Jul 19, 2026Jul 19, 2026

    • vigil-monitor

      Public
      Lightweight file integrity monitoring (FIM) service for Windows. Watches critical files and directories for unauthorized changes.
      C#
      •
      MIT License
      •0•0•0•0•Updated Apr 4, 2026Apr 4, 2026

    • zkir-prover

      Public
      STARK prover for ZK IR using Plonky3 with Baby Bear field
      Rust
      •
      Other
      •0•23•0•0•Updated Jan 1, 2026Jan 1, 2026

    • zkir-crypto

      Public
      Formally verified cryptographic circuits for Plonky3.
      Rocq Prover
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 31, 2025Dec 31, 2025

    • zkir-llvm

      Public
      LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof generation
      Rust
      •
      Apache License 2.0
      •0•18•0•0•Updated Dec 30, 2025Dec 30, 2025

    • hpcrypt

      Public
      High-performance cryptography library in 100% safe Rust
      Rust
      •
      Apache License 2.0
      •5•66•8•0•Updated Dec 23, 2025Dec 23, 2025

    • hptls

      Public
      High-performance TLS/DTLS/QUIC library in 100% safe Rust
      Rust
      •7•64•0•0•Updated Nov 19, 2025Nov 19, 2025

    • coq-rust-extraction

      Public
      Coq plugin for extracting Rust code
      Rocq Prover
      •
      MIT License
      •5•0•0•0•Updated Oct 27, 2025Oct 27, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.