Carter Feldman

Solidity/Toy Verifier

5

Are they any plans to implement a solidity verifier? I think this would significantly boost adoption of risc0 as a plug and play layer 2. If there is not currently...

Proof verification within a guest

2

Is there currently any plans to allow for porting proof verification to run in a guest? This would be incredibly useful as it would allow for proof aggregation.

--------------------------- ## Issue During compilation of a large smart contract, I get "Error: spawnSync /bin/sh ENOBUFS", this has been [fixed in truffle since conflux first forked](https://github.com/trufflesuite/truffle/commit/a9479d5da0113980a06ce68003f7966b1f57be19) See the similar issue:...

## Describe your changes 1. Added test_example_with_options to miden/src/examples/mod.rs to allow for custom proving options (ex. ProvingOptions::with_96_bit_security(true)) 2. Added a fibonacci test which uses ProvingOptions::with_96_bit_security(true) 3. Fixed the page alignment...

Changes: 1. Cleaned up the sha256 implementation (block digest -> reusable function, same with constant generation and state) 2. Added support for arbitrary length sha256 (no longer limited to 512...

[UE] Bug:

7

### 前置阅读 | Pre-reading - [X] [文档](https://puerts.github.io/unreal/zhcn/readme)/[Doc](https://puerts.github.io/unreal/en/readme) - [X] [Issues](https://github.com/Tencent/puerts/issues?q=is%3Aissue+sort%3Aupdated-desc+is%3Aclosed) - [X] [FAQ](https://github.com/Tencent/puerts/blob/master/doc/unreal/zhcn/faq.md) ### Puer的版本 | Puer Version 1.0.5 ### UE的版本 | UE Version 5.4.4 ### 发生在哪个平台 | Platform iOS...

[UE] Bug: v8::Isolate::New crashes Unreal Editor the second time I run the Editor

1

### 前置阅读 | Pre-reading - [X] [文档](https://puerts.github.io/unreal/zhcn/readme)/[Doc](https://puerts.github.io/unreal/en/readme) - [X] [Issues](https://github.com/Tencent/puerts/issues?q=is%3Aissue+sort%3Aupdated-desc+is%3Aclosed) - [X] [FAQ](https://github.com/Tencent/puerts/blob/master/doc/unreal/zhcn/faq.md) ### Puer的版本 | Puer Version 1.0.5 ### UE的版本 | UE Version 5.4.4 ### 发生在哪个平台 | Platform Editor(mac)...

Remove cuda specific stuff to support apple silicon

[Unity] Bug: WebGL error: updateGlobalBufferAndViews is not defined

1

### 前置阅读 | Pre-reading - [x] [文档](https://puerts.github.io/unity/zhcn/readme)/[Doc](https://puerts.github.io/unity/en/readme) - [x] [Issues](https://github.com/Tencent/puerts/issues?q=is%3Aissue+sort%3Aupdated-desc+is%3Aclosed) - [x] [FAQ](https://github.com/Tencent/puerts/blob/master/doc/unity/zhcn/faq.md) ### Puer的版本 | Puer Version 2.2.2 ### Unity的版本 | Unity Version 6000.1.7f1 ### 发生在哪个平台 | Platform Editor(mac)...