https://github.com/psilospore/additive-secret-share-easycrypt

Easycrypt proof of additive secret share for a class project
https://github.com/psilospore/additive-secret-share-easycrypt

Last synced: 7 days ago
JSON representation

Easycrypt proof of additive secret share for a class project

• Host: GitHub
• URL: https://github.com/psilospore/additive-secret-share-easycrypt
• Owner: psilospore
• Created: 2023-12-03T19:45:36.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2023-12-20T16:16:41.000Z (11 months ago)
• Last Synced: 2023-12-20T17:38:44.269Z (11 months ago)
• Language: eC
• Size: 8.79 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Additive Secret Share Security Proof

## Authors

Steven Baldasty

Yeonhee Yeh

Syed Jafri

## Description

Our Multi-Party Computation class project.

State the security theorem for additive secret sharing.

We first start with 2-out-of-2-secret sharing and then extend it to n secret sharing.

This is largely an attempt to learn EasyCrypt and Proof Assistants applying it to our class.

## Credit and References

For supporting files (Finite Fields) and a tutorial we found useful: https://fm.csl.sri.com/SSFT23/FMiTF.html

Pen and Paper proof reference:

https://www.cs.columbia.edu/~tal/4261/F19/secretsharingf19.pdf