New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: cache export and import #33

Merged

AtHeartEngineer merged 1 commit into main from fix/cache-import

Feb 23, 2023

Member

mhchia commented Feb 23, 2023

What's the PR for?

Fix export: stringify bigints before JSON.stringify, otherwise JSON.stringify might throw error if cache contains bigints
Fix import: parse exported JSON string and initialize Cache

Fixes #31.


          fix: make Cache.import work

30f2ee5

mhchia mentioned this pull request

fix: check proof already exists #34

Merged

AtHeartEngineer approved these changes

View reviewed changes

AtHeartEngineer merged commit c20d6a2 into main

mhchia deleted the fix/cache-import branch

February 23, 2023 16:03

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet