Scalable zk-SNARK
This article describes the General principle of operation (stages, parameters used) of the ZK-SNARK zero-knowledge proof scheme, the possibility and prospects for its improvement. Implementations of zk-SNARK that are currently known have scalability limitations that depend on the magnitude of the computation being proved. First, the size of the proving key depends ...
The Transcendental Deduction of Categories as Philosophical Proof
... Hegel’s interpretation and reframing of Kant’s idea. Hegel’s reading is crucial for two reasons: first, for fixing the basic form of the Kantian argument and secondly, for understanding its metaphilosophical relevance. For Hegel, philosophical proof has a specific nature, which distinguishes it from scientific proof and brings it closer to a juridical one. In this perspective the transcendental deduction, which is universally considered one of the most difficult chapters in the history of philosophy,...
Christian Wolff and Immanuel Kant on the Existence of God
The positions of Christian Wolff and Immanuel Kant on the possibility of proving the existence of God require some examination. Wolff’s critique of the physical-theological proof and his proposed ways of improving it are here analysed. God is central to Wolff’s philosophical system and the fundamental prerequisite of his theoretical and practical philosophy. Although Wolff insists that the natural law is inherent in human ...
Moral und Dogma: Alois Riehls Neukantianismus im Spannungsfeld zwischen Religion und Politik
... In: V. L. Waibel, Hg. 2015. Umwege. Annäherungen an Immanuel Kant in Wien, in Österreich und in Osteuropa. Wien: University Press, S. 39-47.
Riehl, Kant, Neukantianism, Kulturkampf, Neurath-Haller thesis, postulates of pure practical reason, moral proof of God, immortality of soul
Martin Hammer, Josef Hlade
77-111
10.5922/0207-6918-2020-1-4
On implementation of legal investigation in the Russian criminal process
... (дата обращения: 15.12.2018).
8. Проект общей части УПК РФ (подготовлен ГПУ Президента РФ) // Рос. юстиция. 1994. № 9.
Pankina I. Y.
defense function, preliminary investigation, proof process, powers of a defense lawyer, lawyer’s investigation
26-33
Formalisation of cognition in a special proceeding trial
Criminal procedural cognition in special judicial proceedings is largely based on the provisions of the concept of formal (legal) evidence. The formalisation of evidence presupposes the availability of the necessary proofs and mandatory sources of evidence that create proper conditions for the implementation of the procedural norm of Chapter 40 of the Code of Criminal Procedure.
1. Александров А. С. Основание и условия для особого ...
