GitHub - Flydexo/tipe

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
.ipynb_checkpoints		.ipynb_checkpoints
__pycache__		__pycache__
automata.json		automata.json
channel.py		channel.py
constants.py		constants.py
field.py		field.py
merkle.py		merkle.py
phone.ipynb		phone.ipynb
polynomial.py		polynomial.py
poseidon.py		poseidon.py
problems.txt		problems.txt
proof.txt		proof.txt
prover.ipynb		prover.ipynb
text.txt		text.txt
utils.py		utils.py
verifier.ipynb		verifier.ipynb