个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
25
4
我想使用 AWS Lambda 代表第 3 方执行计算，然后向他们证明我按预期进行了计算。证明将是函数体、请求和响应的加密签名摘要。理想情况下，亚马逊会使用自己的私钥对摘要进行签名，并发布他们的公钥以允许验证签名。这个想法类似于新的英特尔芯片通过 SGX(软件保护扩展)提供的“安全飞地”。
现有的 Lambda 服务具有一些所需的成分。例如，GetFunction 响应包括唯一标识函数实现的 CodeSha256 字段。 Amazon API Gateway 允许您向 Lambda 服务发出 HTTPS 请求，这可能允许请求响应内容的 TLSNotary 样式证明。但要做到这一点，我认为 AWS Lambda 需要直接提供签名。
Microsoft Azure 正在其 Project Bletchley 中开发受信任的软件飞地(“cryptlets”):
https://github.com/Azure/azure-blockchain-projects/blob/master/bletchley/bletchley-whitepaper.md
https://github.com/Azure/azure-blockchain-projects/blob/master/bletchley/CryptletsDeepDive.md
当前的 AWS Lambda 是否可以实现类似的功能？
最佳答案
AWS 根据安全性有不同的方法。您可以设置可以使用特定资源的内容以及使用方式。
当然，您可以执行所描述的操作。您可以识别请求、响应和所用代码的确切版本。问题是在处理请求时是否要签署代码。更简单的方法是在部署时计算。
对于第一种情况 - 您需要可以访问源代码的语言。 Like with Python ，你可以得到它，签名并归还，或者存储在某个地方。
第二种情况 - 我会使用 tagging .
关于amazon-web-services - 我可以使用 Amazon AWS Lambda 作为可信计算的安全区域吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/41978127/
25
4
0
可以使用 lambda 和函数创建有序对(Lisp 中的缺点)，如 Use of lambda for cons/car/cdr definition in SICP 所示。 它也适用于 Python
我正在尝试从另一个调用一个 AWS lambda 并执行 lambda 链接。这样做的理由是 AWS 不提供来自同一个 S3 存储桶的多个触发器。 我创建了一个带有 s3 触发器的 lambda。第一
根据以下源代码，常规 lambda 似乎可以与扩展 lambda 互换。 fun main(args: Array) { val numbers = listOf(1, 2, 3) f
A Tutorial Introduction to the Lambda Calculus 本文介绍乘法函数 The multiplication of two numbers x and y ca
我想弄清楚如何为下面的表达式绘制语法树。首先，这究竟是如何表现的？看样子是以1和2为参数，如果n是 0，它只会返回 m . 另外，有人可以指出解析树的开始，还是一个例子？我一直找不到一个。 最佳答案
在 C++0x 中，我想知道 lambda 函数的类型是什么。具体来说: #include type1 foo(int x){ return [x](int y)->int{return x * y
我在其中一个职位发布中看到了这个问题，它询问什么是 lambda 函数以及它与高阶函数的关系。我已经知道如何使用 lambda 函数，但不太自信地解释它，所以我做了一点谷歌搜索，发现了这个:What
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的，无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它，visit the help center 。 已关
Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme. 我不知道实际上该怎么做! ((lambda (x y) (+ x x
我正在处理 MyCustomType 的实例集合如下: fun runAll(vararg commands: MyCustomType){ commands.forEach { it.myM
Brian 在他对问题 "Are side effects a good thing?" 的论证中的前提很有趣: computers are von-Neumann machines that are
在 Common Lisp 中，如果我希望两个函数共享状态，我将按如下方式执行 let over lambda: (let ((state 1)) (defun inc-state () (in
Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme. 我不知道实际上该怎么做! ((lambda (x y) (+ x x
作为lambda calculus wiki说: There are several possible ways to define the natural numbers in lambda cal
我有一个数据类，我需要初始化一些 List .我需要获取 JsonArray 的值(我使用的是 Gson)。 我做了这个函数: private fun arrayToList(data: JsonAr
((lambda () )) 的方案中是否有简写 例如，代替 ((lambda () (define x 1) (display x))) 我希望能够做类似的事情 (empty-lam
我在 Java library 中有以下方法: public void setColumnComparator(final int columnIndex, final Comparator colu
我正在研究一个函数来计算国际象棋游戏中棋子的有效移动。 white-pawn-move 函数有效。当我试图将其概括为任一玩家的棋子 (pawn-move) 时，我遇到了非法函数调用。我已经在 repl
考虑这段代码(在 GCC 和 MSVC 上编译): int main() { auto foo = [](auto p){ typedef decltype(p) p_t;
我正在阅读一个在 lambda 内部使用 lambda 的片段，然后我想通过创建一个虚拟函数来测试它，该函数从文件中读取然后返回最大和最小数字。 这是我想出来的 dummy = lambda path
我是一名优秀的程序员,十分优秀！