Skip to content

Commit 849d5dd

Browse files
article reference
1 parent 8821985 commit 849d5dd

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

README.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -140,3 +140,8 @@ make # fetches proof from Ethereum, compiles C verifier, runs test
140140
- [ZKNOX](https://zknox.com) — Post-quantum cryptography for Ethereum
141141
- [LFG Labs / Verity](https://github.com/lfglabs-dev/verity) — Formally verified smart contract DSL
142142
- Circuit compilation and clear signing architecture by Th0rgal (LFG Labs)
143+
- Hardware implementation (BLS12-381 pairing, Groth16/PLONK verifier, MPT proof, Ledger Nano S+ integration) by [rdubois-crypto](https://github.com/rdubois-crypto)
144+
145+
## References
146+
147+
- [Unlimited public computation in constrained hardware using ZK proofs — Application to ZK clear signing](https://zknox.eth.limo/posts/2026/03/13/zk_clear_signing_160326.html)

0 commit comments

Comments
 (0)