vkobel/z3-shamir-secret-sharing

Implementation of Shamir Secret Sharing using Z3

z3-shamir-secret-sharing

Simple and naive implementation of Shamir's Secret Sharing using the Z3 solver. For demo purposes only, don't use in prod.

Google Colab

You can open this notebook directly with Google Colab: https://colab.research.google.com/github/vkobel/z3-shamir-secret-sharing/blob/master/z3-shamir-secret-sharing.ipynb