Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
#

easycrypt

Here are 9 public repositories matching this topic...

Language:All
Filter by language

We implement the Schnorr proof system in assembler via the Jasmin toolchain, and prove the security (proof-of-knowledge and zero-knowledge) and the absence of leakage through timing side-channels of that implementation in EasyCrypt.

  • UpdatedOct 6, 2023
  • eC

EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).

  • UpdatedJun 1, 2023
  • eC

Jasmin implementation of the eXtended Merkle Signature Scheme (XMSS) & proof of correctness in EasyCrypt

  • UpdatedFeb 19, 2025
  • eC

Mastering the Art of EasyCrypt Programming

  • UpdatedFeb 21, 2025
  • eC

Verified Security of BLT Signature Scheme

  • UpdatedAug 10, 2022
  • eC

EasyCrypt proof of unsatisfiability of comparison-based definition of non-malleability for commitments

  • UpdatedAug 9, 2022
  • eC

Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping

  • UpdatedAug 10, 2022
  • eC

An EasyCrypt decrypter written in Rust

  • UpdatedDec 28, 2024
  • Rust

Improve this page

Add a description, image, and links to theeasycrypt topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theeasycrypt topic, visit your repo's landing page and select "manage topics."

Learn more

[8]ページ先頭
©2009-2025 Movatter.jp