From 463a72a458d9ded3ec653d6f6c252498477e9e85 Mon Sep 17 00:00:00 2001 From: x Date: Wed, 26 Jul 2023 01:51:53 +0000 Subject: [PATCH] mainnet roadmap: Add zkrunner as todo --- doc/src/architecture/architecture.md | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/doc/src/architecture/architecture.md b/doc/src/architecture/architecture.md index b06853c6e..a102770a0 100644 --- a/doc/src/architecture/architecture.md +++ b/doc/src/architecture/architecture.md @@ -149,7 +149,10 @@ just external. (See `ElGamalEncryptedNote` in `darkfi-sdk`). The cryptography also has to be verified for correctness, as this was just a proof of concept. -### Smart Contract Client API +### Smart Contract + + +Client API: The native contracts should have a unified and "standard" API so they're all the same. Perhaps it is also possible to define some @@ -157,6 +160,17 @@ way for contracts to expose an ABI so it becomes simpler and easier for clients to get the knowledge they need to build transactions and chain contract calls with each other. + +Testing environment: `Zkrunner` + +There is a tool called Zkrunner that takes the zkas circuit and the +private inputs, then generates a proof and verify it. + +It's like an interactive environment for zkas circuit developer. +Without Zkrunner, the developer needs to manually program, and feed +the private and pulibc inputs and drive the verification. +It needs some code cleanup and documentation on how to use it. + ### Passive APR/APY Consensus participants should be incentivised to stake by getting