Skip to content

Implement Poseidon252 with Plompiler

Danny Willems requested to merge poseidon into master

Initial implementation of Poseidon using Plompiler in vanilla Plonk.

The code is copied from the OCaml implementation available here. The code is written in an imperative way and improvements can be added.

TODO:

  • Allow inputs of more than 3 elements (i.e. handle padding)
  • Compute the number of variables and constraints for regression tests and future improvements
  • Compare with other implementations
  • Integrate with the proof system
  • Prettify the code (left to the authors @dannywillems and @ambrona)
Edited by Danny Willems

Merge request reports