This folder contains the LeanIMT Paper (Download PDF).
-
LeanIMT document: https://hackmd.io/@vplasencia/S1whLBN16
-
LeanIMT benchmarks on browser and Node.js: https://github.com/vplasencia/imt-benchmarks
-
LeanIMT TypeScript implementation: https://github.com/privacy-scaling-explorations/zk-kit/tree/main/packages/lean-imt.
-
LeanIMT Solidity implementation: https://github.com/privacy-scaling-explorations/zk-kit.solidity/tree/main/packages/lean-imt.
-
Install Miktex.
-
Install LaTeX Workshop VSCode extension.
-
Add the PATH by running:
echo 'export PATH=$HOME/bin:$PATH' >> ~/.zshrc
Read more about it here.
- Add Latex formatter in VSCode.
sudo cpan Unicode::GCString
sudo cpan App::cpanminus
sudo cpan YAML::Tiny
sudo perl -MCPAN -e 'install "File::HomeDir"'
Read more about it here.
Note: Prettier does not format .tex
files.