Skip to content

@Raspberry-Devs Raspberry Devs

Change the repository type filter

All

    Repositories list

    3 repositories

    • mina-multi-sig

      Public
      Using FROST multi-signature scheme for jointly owned contracts on the Mina Blockchain
      Rust
      •
      Apache License 2.0
      •2•5•8•6•Updated Feb 27, 2026Feb 27, 2026

    • ArkLib

      Public
      Formally Verified Arguments of Knowledge in Lean
      Lean
      •
      Apache License 2.0
      •45•0•0•0•Updated Feb 23, 2026Feb 23, 2026

    • mina-aes

      Public
      A provable AES implementation using o1js for the Mina Protocol
      TypeScript
      •
      Apache License 2.0
      •0•2•0•0•Updated Jun 7, 2025Jun 7, 2025