mukeshtiwari/Dlog-zkp mukeshtiwari/Dlog-zkp

  • Stars
    star
    1
  • Language Coq
  • License
    Apache License 2.0
  • Created over 2 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mukeshtiwari/Dlog-zkp
github

mukeshtiwari

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)

More Repositories

1

Idris

Codes related to Idris
Idris
14
star
2

Coq-automation

Coq codes using various automation techniques
Coq
4
star
3

Thesis

Repository for my Phd thesis. Finally, it's happening :)
TeX
3
star
4

Formally_Verified_Verifiable_Group_Generator

Repo for computing group generators in publicly verifiable manner.
Coq
3
star
5

Formally-Verified-MultiObjective-Optimisation

Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf
Coq
3
star
6

Semiring_graph_algorithm

Semiring for short
Coq
3
star
7

SHA256

OCaml Code for SHA256, extracted from Coq formalisation
OCaml
2
star
8

Schulzeproperties

This repo is intended for verifying properties of Schulze Method
Coq
2
star
9

CAS

Coq
1
star
10

CDNGPoster

Poster
1
star
11

Ccodeanalysis

Analyzing c code
C
1
star
12

Probability_Theory

Coq
1
star
13

well-written-papers

This repo collects all the nicely written paper, accordng to me.
1
star
14

EncryptionSchulze

Schulze scheme with encrypted ballots
Java
1
star
15

LearningOS

Code related to learning operating system
Assembly
1
star