Releases: zksecurity/mina-attestations
Releases · zksecurity/mina-attestations
v0.4.2
What's Changed
- Export rsaverify circuit and Bigint2048 by @Vishalkulkarni45 in #115
- #116
New Contributors
- @Vishalkulkarni45 made their first contribution in #115
Full Changelog: v0.4.1...v0.4.2
Contributors
Vishalkulkarni45
Assets 2
v0.4.1
This release delivers on an initial promise of this library and makes presentations verifiable in a zkapp!
The entry point for this feature is Presentation.precompile(), which now returns (among other things) a ProvablePresentation that you can use as input type in your zkapp.
let compiled = await Presentation.precompile(spec);
class ProvablePresentation extends compiled.ProvablePresentation {}
class MyContract extends SmartContract {
@method async myMethod(presentation: ProvablePresentation) {
let { claims, outputClaim } = presentation.verify(...);
}For a full example, see https://github.com/zksecurity/mina-attestations/blob/main/examples/zkapp-example.eg.ts
What's Changed
- Design/spec cleanup by @mitschabaude in #113
- Zkapp Verifier by @mitschabaude in #112
Full Changelog: v0.4.0...v0.4.1
Contributors
mitschabaude
Assets 2
v0.4.0
This is the first "official" release! See our https://github.com/zksecurity/mina-attestations for initial info about mina-attestations.
What's Changed
- Update Pallad integration by @mitschabaude in #109
- Import credential webdemo by @martonmoro in #108
- Docs/readme api by @martonmoro in #110
Full Changelog: v0.3.6...v0.4.0
Contributors
mitschabaude and martonmoro