19:43 <mithro> whitequark[m]: You might like https://github.com/google/fully-homomorphic-encryption

20:23 <Barabas> Hi all, I'm trying to set one bit in a Signal using a python int minus an unsigned Signal as the index, but it gives an error when elaborating: TypeError: Cannot index value with (- (const 3'd4) (sig counter)). This should always give an index between 0 and 3, not sure how it's getting -4? https://pastebin.com/sfzdyPV5

20:27 <whitequa1k> you can't index signals using the [] syntax with expressions, only constants

20:28 <whitequa1k> use .bit_select()

20:43 <Barabas> I see, thanks!