From 6cb792aea810a4772d4e62333c7d37660d61f50c Mon Sep 17 00:00:00 2001 From: benjmhart Date: Tue, 31 Jan 2023 12:10:48 -0500 Subject: [PATCH 1/2] minutes --- minutes/2023-01-31.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 minutes/2023-01-31.md diff --git a/minutes/2023-01-31.md b/minutes/2023-01-31.md new file mode 100644 index 0000000..01ee96e --- /dev/null +++ b/minutes/2023-01-31.md @@ -0,0 +1,29 @@ +# Minutes of Developer Experience Working group + +## Attendance +alexeusgr +BenHart-mlabs +Cody | indigo CTO +FluxCap +Igodlab (Ignacio) +JamesDunseith-gimbalabs +Jonbauer +MattChain +Romain Soulat (IOG) +Sebastian Pabon +Simon Thompson +Steve Lockhart +The Ancient Kraken +waalge +WoodlandPools + +## Minutes +Registration & Certification interface CIP +- Simon: Bruno would like to invite developers to discuss a cip for registration & audit records related to dApps.https://github.com/cardano-foundation/CIPs/pull/355/files - Though there is a substantial update coming - one key improvement is about creating a clear path for revisions & updates. +- Ben: How does Parameterization play into this? we can have infinitely many scripts that may fit into an audited artifact by way of parameterization. +- Simon: We'll take that under advisement, though the solution isn't currently obvious. + +Certification Procedure & Testing +- Romain: We're working toward an automated tool that will automatically check against a model and ensure certain universal properties, there were several original properties and we're looking at potentially adding checks like double-satisfaction. +- Ben: is there support for general Untyped Plutus Core scripts, or only PlutusTx Sourcecode +- Romain: We assume plutusTx sourcecode, and that it can be built with nix. From 331bcf4648249402e3d1c2edd07b93010226dc51 Mon Sep 17 00:00:00 2001 From: benjmhart Date: Mon, 20 Feb 2023 17:26:11 -0500 Subject: [PATCH 2/2] add plutus-starter proposal --- minutes/2023-01-31.md | 29 ----------------------------- proposals/plutus-starter.md | 16 ++++++++++++++++ 2 files changed, 16 insertions(+), 29 deletions(-) delete mode 100644 minutes/2023-01-31.md create mode 100644 proposals/plutus-starter.md diff --git a/minutes/2023-01-31.md b/minutes/2023-01-31.md deleted file mode 100644 index 01ee96e..0000000 --- a/minutes/2023-01-31.md +++ /dev/null @@ -1,29 +0,0 @@ -# Minutes of Developer Experience Working group - -## Attendance -alexeusgr -BenHart-mlabs -Cody | indigo CTO -FluxCap -Igodlab (Ignacio) -JamesDunseith-gimbalabs -Jonbauer -MattChain -Romain Soulat (IOG) -Sebastian Pabon -Simon Thompson -Steve Lockhart -The Ancient Kraken -waalge -WoodlandPools - -## Minutes -Registration & Certification interface CIP -- Simon: Bruno would like to invite developers to discuss a cip for registration & audit records related to dApps.https://github.com/cardano-foundation/CIPs/pull/355/files - Though there is a substantial update coming - one key improvement is about creating a clear path for revisions & updates. -- Ben: How does Parameterization play into this? we can have infinitely many scripts that may fit into an audited artifact by way of parameterization. -- Simon: We'll take that under advisement, though the solution isn't currently obvious. - -Certification Procedure & Testing -- Romain: We're working toward an automated tool that will automatically check against a model and ensure certain universal properties, there were several original properties and we're looking at potentially adding checks like double-satisfaction. -- Ben: is there support for general Untyped Plutus Core scripts, or only PlutusTx Sourcecode -- Romain: We assume plutusTx sourcecode, and that it can be built with nix. diff --git a/proposals/plutus-starter.md b/proposals/plutus-starter.md new file mode 100644 index 0000000..bdf43e4 --- /dev/null +++ b/proposals/plutus-starter.md @@ -0,0 +1,16 @@ +# Proposal: Restore Maintenance for Plutus-Starter + + +## Thesis - What should be done and why is this valuable for Cardano Developers? + +`Docker` is recognized as the default containerization tool for the broader developer ecosystem across all languages, the amount of training and availability of tools makes it ubiquitous. + +If cardano wishes to encourage developer adoption and reduce friction for dApp developers, providing up-to-date docker containers to run the cardano node and compile plutus dependencies is critical. + +IOG used to maintain the [Plutus-starter](https://github.com/input-output-hk/plutus-starter) repository with a corresponding docker image, which can be used to build dependencies and start compiling plutus scripts. Unfortunately the last commit is from July, 2022 and the docker image is unusable. + +We suggest that the plutus-starter docker image receive an update to ensure it can be used to successfully build and run Plutus v2 scripts. Additionally, documenting how to run the Cardano node included in the docker image, both against a public testnet or a local private network would be of incredible value to beginnners. + +## Sponsor + +- currently no sponsor, however since the preceeding work was done by the IOG plutus-apps team, this proposal is directed at IOG