What's New?
Snarkjs Integration
This is a huge deal.
We are thrilled to announce that Keelung programs are now able to be compiled into Snarkjs-style R1CS, and Keelung compiler can generate Snarkjs' witness format.
With this integration, Keelung programs can easily adapt Groth16/PLONK, the prover/verifier would not find any distinguishes. Keelung also benefits from other backends Snarkjs might provide in the future, alongside with Keelung compiler's existing quantum-safe backend Aurora.
Be aware that Keelung's default Aurora backend only supports GF181 curve, and Snarkjs generally uses BN128. Luckily, the programmer don't need to worry about that when designing Keelung circuits, since it can be determined at compile-time.
To know more about how to integrate your Keelung program with Snarkjs, see our documentation.
What's Next?
Keelung has achieved a lot, and with this release, we at BTQ can confidently say it's a language with safer and better abstraction design than other state-of-the-art languages for ZK circuits, without sacrificing performance or operationality. The integration with Snarkjs should enable developers to migrate their applications from other languages smoothly.
Unfortunately, due to circumstances, we cannot promise on future updates or other features. We hope the open source community can put Keelung to good use. We appreciate everyone who has given a try to, discussed of, or even submitted a issue to this project.