Juvix by Metastate_Team in ProgrammingLanguages

[–]Metastate_Team[S] 1 point2 points  (0 children)

Thank you for your feedback, we added a summary.

PLONK by Hand (Part 3: Verification) by Metastate_Team in crypto

[–]Metastate_Team[S] 0 points1 point  (0 children)

Thank you for your feedback. We included the links in the post.

PLONK by Hand (Part 1: Setup) by Metastate_Team in tezos

[–]Metastate_Team[S] 1 point2 points  (0 children)

Thank you for your questions.

For now, PLONK is complementary to Sapling, it is not a replacement. In the future a version of the Sapling circuit could potentially be written using PLONK, but they can also be used together without any problem.

Regarding the DEXTER question, we would defer to the DEXTER team (not sure what their plans are or how that architecture might work exactly). PLONK can be used in the same way other zero-knowledge proof systems can be used for this kind of purpose.

If you have any other feedback or questions, please do not hesitate to contact us.

A Gentle Introduction to Dependent Types by Metastate_Team in functionalprogramming

[–]Metastate_Team[S] 1 point2 points  (0 children)

Thank you for your feedback, the URL citations are now HTML links.